| Relational verification using product programs G Barthe, JM Crespo, C Kunz International Symposium on Formal Methods, 200-214, 2011 | 282 | 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 | 123 | 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 | 98 | 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 | 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 |
| 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 | 55 | 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 |
| Secure multi-execution through static program transformation G Barthe, JM Crespo, D Devriese, F Piessens, E Rivas International Conference on Formal Methods for Open Object-Based Distributed …, 2012 | 42 | 2012 |
| Mind the gap: Modular machine-checked proofs of one-round key exchange protocols G Barthe, JM Crespo, Y Lakhnech, B Schmidt Annual International Conference on the Theory and Applications of …, 2015 | 36 | 2015 |
| 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 |
| 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 |
| 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 International Conference on Software Engineering and Formal Methods, 122-137, 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 Technical Report CW620, Department of Computer Science, Katholieke …, 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 | | |
