Clara Rodrguez-Nez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2022–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SP | Scalable Verification of Zero-Knowledge Protocols. | Miguel Isabel, Clara Rodrguez-Nez, Albert Rubio |
| 2022 | CADE | Using Automated Reasoning Techniques for Enhancing the Efficiency and Security of (Ethereum) Smart Contracts. | Elvira Albert, Pablo Gordillo, Alejandro Hernndez-Cerezo, Clara Rodrguez-Nez, Albert Rubio |
| 2022 | CAV | Distilling Constraints in Zero-Knowledge Protocols. | Elvira Albert, Marta Bells-Muoz, Miguel Isabel, Clara Rodrguez-Nez, Albert Rubio |