César Kunz

Publications by Year

Research Areas

Logic, programming, and type systems, Security and Verification in Computing, Formal Methods in Verification, Cryptography and Data Security, Distributed systems and fault tolerance

Most-Cited Works

• → Relational Verification Using Product Programs(2011)201 cited
• → EasyCrypt: A Tutorial(2014)112 cited
• → Verified Computational Differential Privacy with Applications to Smart Metering(2013)71 cited
• → From relational verification to SIMD loop synthesis(2013)64 cited
• → Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification(2013)61 cited
• → Proving Differential Privacy in Hoare Logic(2014)60 cited
• → Fully automated analysis of padding-based encryption in the computational model(2013)53 cited
• → Product programs and relational program logics(2016)38 cited
• → Verified Security of Merkle-Damgård(2012)23 cited
• → Certificate translation for optimizing compilers(2009)21 cited