Folgen
César Kunz
César Kunz
Postdoctoral Researcher, IMDEA Software
Bestätigte E-Mail-Adresse bei imdea.org
Titel
Zitiert von
Zitiert von
Jahr
Relational verification using product programs
G Barthe, JM Crespo, C Kunz
FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011
2492011
EasyCrypt: A Tutorial
G Barthe, F Dupressoir, B Grégoire, C Kunz, B Schmidt, PY Strub
Foundations of Security Analysis and Design VII: FOSAD 2012/2013 Tutorial …, 2014
1682014
Verified computational differential privacy with applications to smart metering
G Barthe, G Danezis, B Grégoire, C Kunz, S Zanella-Beguelin
2013 IEEE 26th Computer Security Foundations Symposium, 287-301, 2013
882013
From relational verification to SIMD loop synthesis
G Barthe, JM Crespo, S Gulwani, C Kunz, M Marron
Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of …, 2013
782013
Beyond 2-safety: Asymmetric product programs for relational program verification
G Barthe, JM Crespo, C Kunz
Logical Foundations of Computer Science: International Symposium, LFCS 2013 …, 2013
732013
Proving differential privacy in Hoare logic
G Barthe, M Gaboardi, EJG Arias, J Hsu, C Kunz, PY Strub
2014 IEEE 27th Computer Security Foundations Symposium, 411-424, 2014
592014
Fully automated analysis of padding-based encryption in the computational model
G Barthe, JM Crespo, B Grégoire, C Kunz, Y Lakhnech, B Schmidt, ...
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013
522013
Product programs and relational program logics
G Barthe, JM Crespo, C Kunz
Journal of Logical and Algebraic Methods in Programming 85 (5), 847-859, 2016
482016
Certificate translation for optimizing compilers
G Barthe, B Grégoire, C Kunz, T Rezk
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea …, 2006
482006
Verified security of merkle-damgård
M Backes, G Barthe, M Berg, B Grégoire, C Kunz, M Skoruppa, ...
2012 IEEE 25th Computer Security Foundations Symposium, 354-368, 2012
43*2012
Certificate translation in abstract interpretation
G Barthe, C Kunz
Programming Languages and Systems: 17th European Symposium on Programming …, 2008
312008
Certificate translation for optimizing compilers
G Barthe, B Grégoire, C Kunz, T Rezk
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (5), 1-45, 2009
242009
Computer-Aided Cryptographic Proofs.
G Barthe, JM Crespo, B Grégoire, C Kunz, SZ Béguelin
ITP, 11-27, 2012
232012
Preservation of proof pbligations for hybrid verification methods
G Barthe, C Kunz, D Pichardie, J Samborski-Forlese
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
122008
Combining mechanized proofs and model-based testing in the formal analysis of a hypervisor
H Becker, JM Crespo, J Galowicz, U Hensel, Y Hirai, C Kunz, K Nakata, ...
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
112016
Certified reasoning in memory hierarchies
G Barthe, C Kunz, JL Sacchini
Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008
92008
Automation in computer-aided cryptography: Proofs, attacks and designs
G Barthe, B Grégoire, C Kunz, Y Lakhnech, S Zanella Béguelin
Certified Programs and Proofs: Second International Conference, CPP 2012 …, 2012
52012
Certificate translation for specification-preserving advices
G Barthe, C Kunz
Proceedings of the 7th workshop on Foundations of aspect-oriented languages …, 2008
52008
Implementing a direct method for certificate translation
G Barthe, B Grégoire, S Heraud, C Kunz, A Pacalet
Formal Methods and Software Engineering: 11th International Conference on …, 2009
42009
Automated analysis and synthesis of padding-based encryption schemes
G Barthe, S Zanella-Béguelin, JM Crespo, C Kunz, Y Lakhnech, ...
32012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20