Scalable Verification of Zero-Knowledge Protocols
Isabel, Miguel, Rodriguez-Nunez, Clara, Rubio, Albert
Published in 2024 IEEE Symposium on Security and Privacy (SP) (19.05.2024)
Published in 2024 IEEE Symposium on Security and Privacy (SP) (19.05.2024)
Get full text
Conference Proceeding
Relaxed Effective Callback Freedom: A Parametric Correctness Condition for Sequential Modules With Callbacks
Albert, Elvira, Grossman, Shelly, Rinetzky, Noam, Rodriguez-Nunez, Clara, Rubio, Albert, Sagiv, Mooly
Published in IEEE transactions on dependable and secure computing (01.05.2023)
Published in IEEE transactions on dependable and secure computing (01.05.2023)
Get full text
Journal Article
Taming callbacks for smart contract modularity
Albert, Elvira, Grossman, Shelly, Rinetzky, Noam, Rodríguez-Núñez, Clara, Rubio, Albert, Sagiv, Mooly
Published in Proceedings of ACM on programming languages (13.11.2020)
Published in Proceedings of ACM on programming languages (13.11.2020)
Get full text
Journal Article