| Product programs and relational program logics. | 8 | 0.49 | 2016 |
| Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor. | 2 | 0.47 | 2016 |
| EasyCrypt: A Tutorial. | 11 | 0.48 | 2013 |
| Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification. | 24 | 0.72 | 2013 |
| Automation in computer-aided cryptography: proofs, attacks and designs | 0 | 0.34 | 2012 |
| Automated Analysis and Synthesis of Padding-Based Encryption Schemes. | 0 | 0.34 | 2012 |
| Computer-Aided Cryptographic Proofs. | 0 | 0.34 | 2012 |
| Relational verification using product programs | 65 | 1.57 | 2011 |
| A machine-checked framework for relational separation logic | 2 | 0.41 | 2011 |
| An Abstract Model of Certificate Translation | 2 | 0.38 | 2011 |
| Perspectives in Certificate Translation | 0 | 0.34 | 2010 |
| A functional framework for result checking | 1 | 0.35 | 2010 |
| Certificate translation for the verification of concurrent programs | 3 | 0.39 | 2010 |
| Program parallelization using synchronized pipelining | 0 | 0.34 | 2009 |
| Implementing a Direct Method for Certificate Translation | 2 | 0.38 | 2009 |
| Certificate translation for optimizing compilers | 28 | 1.27 | 2009 |
| Certificate translation for specification-preserving advices | 0 | 0.34 | 2008 |
| Preservation of Proof Pbligations for Hybrid Verification Methods | 3 | 0.40 | 2008 |
| Certified Reasoning in Memory Hierarchies | 2 | 0.36 | 2008 |
| An Introduction to Certificate Translation | 0 | 0.34 | 2008 |
| Certificate Translation in Abstract Interpretation | 14 | 0.77 | 2008 |
