| Relational verification using product programs G Barthe, JM Crespo, C Kunz FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011 | 249 | 2011 |
| One-year routine application of a new method based on liquid chromatography–tandem mass spectrometry to the analysis of 16 multiclass pesticides in vegetable samples A Agüera, S López, AR Fernández-Alba, M Contreras, J Crespo, L Piedra Journal of Chromatography A 1045 (1-2), 125-135, 2004 | 108 | 2004 |
| Multiresidue method for the analysis of multiclass pesticides in agricultural products by gas chromatography-tandem mass spectrometry A Agüera, M Contreras, J Crespo, AR Fernández-Alba Analyst 127 (3), 347-354, 2002 | 97 | 2002 |
| 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 | 78 | 2013 |
| 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 | 73 | 2013 |
| 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 | 52 | 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 | 48 | 2016 |
| Secure multi-execution through static program transformation G Barthe, JM Crespo, D Devriese, F Piessens, E Rivas Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 …, 2012 | 43 | 2012 |
| Mind the gap: Modular machine-checked proofs of one-round key exchange protocols G Barthe, JM Crespo, Y Lakhnech, B Schmidt Advances in Cryptology-EUROCRYPT 2015: 34th Annual International Conference …, 2015 | 30 | 2015 |
| Computer-Aided Cryptographic Proofs. G Barthe, JM Crespo, B Grégoire, C Kunz, SZ Béguelin ITP, 11-27, 2012 | 23 | 2012 |
| 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 | 11 | 2016 |
| Automated analysis and synthesis of padding-based encryption schemes G Barthe, S Zanella-Béguelin, JM Crespo, C Kunz, Y Lakhnech, ... | 3 | 2012 |
| A machine-checked framework for relational separation logic JM Crespo, C Kunz Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011 | 3 | 2011 |
| A framework for the analysis of access control models for interactive mobile devices JM Crespo, G Betarte, C Luna Types for Proofs and Programs: International Conference, TYPES 2008 Torino …, 2009 | 3 | 2009 |
| Secure multi-execution through static program transformation: extended version G Barthe, JM Crespo, D Devriese, F Piessens, E Rivas CW Reports, 2012 | 1 | 2012 |
| Unleashing relational program logics G Barthe, J Crespo, C Kunz Software. Imdea. Org, 1-17, 2010 | 1 | 2010 |
| Automation and modularity of cryptographic proofs in the computational model JM Crespo ETSI_Informatica, 2016 | | 2016 |
| Ejemplos prácticos de reutilización de agua residual tratada y regenerada para el riego de cultivos. Evaluación de riesgo AR Fernández-Alba, S Malato, MM Gómez-Ramos, G Carbonell, ... CONSOLIDER TRAGUA, 2012 | | 2012 |
| Un Framework para el Análisis Formal de Modelos de Control de Acceso para Dispositivos Móviles Interactivos JM Crespo Facultad de Ciencias Exactas, Ingenieria y Agrimensura. Universidad Nacional …, 2009 | | 2009 |
| A Formal Specification and Analysis of Access Control Models for Interactive Mobile Devices JM Crespo, G Betarte, C Luna | | |
