| Relational verification using product programs G Barthe, JM Crespo, C Kunz International Symposium on Formal Methods, 200-214, 2011 | 282 | 2011 |
| Easycrypt: A tutorial G Barthe, F Dupressoir, B Grégoire, C Kunz, B Schmidt, PY Strub International School on Foundations of Security Analysis and Design, 146-166, 2012 | 225 | 2012 |
| 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 | 98 | 2013 |
| 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 | 85 | 2013 |
| Beyond 2-safety: Asymmetric product programs for relational program verification G Barthe, JM Crespo, C Kunz International Symposium on Logical Foundations of Computer Science, 29-43, 2013 | 80 | 2013 |
| 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 | 62 | 2014 |
| 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 | 56 | 2013 |
| 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 | 54 | 2016 |
| Certificate translation for optimizing compilers G Barthe, B Grégoire, C Kunz, T Rezk International Static Analysis Symposium, 301-317, 2006 | 48 | 2006 |
| 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 | 46* | 2012 |
| Certificate translation in abstract interpretation G Barthe, C Kunz European Symposium on Programming, 368-382, 2008 | 31 | 2008 |
| Computer-aided cryptographic proofs G Barthe, JM Crespo, B Grégoire, C Kunz, S Zanella Béguelin International Conference on Interactive Theorem Proving, 11-27, 2012 | 29 | 2012 |
| 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 | 27 | 2009 |
| 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 | 12 | 2016 |
| 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 | 12 | 2008 |
| Certified reasoning in memory hierarchies G Barthe, C Kunz, JL Sacchini Asian Symposium on Programming Languages and Systems, 75-90, 2008 | 10 | 2008 |
| Automation in computer-aided cryptography: Proofs, attacks and designs G Barthe, B Grégoire, C Kunz, Y Lakhnech, S Zanella Béguelin International Conference on Certified Programs and Proofs, 7-8, 2012 | 6 | 2012 |
| An abstract model of certificate translation G Barthe, C Kunz ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (4), 1-46, 2011 | 5 | 2011 |
| Certificate translation for specification-preserving advices G Barthe, C Kunz Proceedings of the 7th workshop on Foundations of aspect-oriented languages …, 2008 | 5 | 2008 |
| Implementing a direct method for certificate translation G Barthe, B Grégoire, S Heraud, C Kunz, A Pacalet International Conference on Formal Engineering Methods, 541-560, 2009 | 4 | 2009 |
Santiago Zanella-BéguelinMicrosoft ResearchVerified email at microsoft.com
