Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Juan Manuel Crespo
Institution:
Madrid Institute for Advanced Studies
Observed institutions:
Madrid Institute for Advanced Studies,
National University of Rosario,
IMDEA Software Institute
OpenAlex ID:
A5104029779
Relational Verification Using Product Programs
2011
·
Gilles Barthe
, Juan Manuel Crespo
, et al.
·
Lecture notes in computer science
·
217
Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification
2013
·
Gilles Barthe
, Juan Manuel Crespo
, et al.
·
Lecture notes in computer science
·
67
From relational verification to SIMD loop synthesis
2013
·
Gilles Barthe
, Juan Manuel Crespo
, et al.
·
ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
·
65
Fully automated analysis of padding-based encryption in the computational model
2013
·
Gilles Barthe
, Juan Manuel Crespo
, et al.
·
ACM SIGSAC Conference on Computer and Communications Security (CCS)
·
55
Product programs and relational program logics
2016
·
Gilles Barthe
, Juan Manuel Crespo
, et al.
·
Journal of Logical and Algebraic Methods in Programming
·
42
PDF
Secure Multi-Execution through Static Program Transformation
2012
·
Gilles Barthe
, Juan Manuel Crespo
, et al.
·
Lecture notes in computer science
·
23
PDF
Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols
2015
·
Gilles Barthe
, Juan Manuel Crespo
, et al.
·
Lecture notes in computer science
·
21
From relational verification to SIMD loop synthesis
2013
·
Gilles Barthe
, Juan Manuel Crespo
, et al.
·
ACM SIGPLAN Notices
·
13
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor
2016
·
Hanno Becker
, Juan Manuel Crespo
, et al.
·
Lecture notes in computer science
·
10
A Machine-Checked Framework for Relational Separation Logic
2011
·
Juan Manuel Crespo
, César Kunz
·
Lecture notes in computer science
·
5
Automated Analysis and Synthesis of Padding-Based Encryption Schemes
2012
·
Gilles Barthe
, Juan Manuel Crespo
, et al.
·
3
A Framework for the Analysis of Access Control Models for Interactive Mobile Devices
2009
·
Juan Manuel Crespo
, Gustavo Betarte
, et al.
·
Lecture notes in computer science
·
3
Automation and Modularity of Cryptographic Proofs in the Computational Model
2016
·
Juan Manuel Crespo
·
UPM Digital Archive (Technical University of Madrid)
·
1
PDF
Secure multi-execution through static program transformation: extended version
2012
·
Gilles Barthe
, Juan Manuel Crespo
, et al.
·
Lirias
·
1
PDF
Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols?
2016
·
Gilles Barthe
, Juan Manuel Crespo
, et al.
Fully Automated Analysis of Padding-Based Encryption in the Computational Model
2013
·
Gilles Barthe
, Juan Manuel Crespo
, et al.
Un Framework para el Análisis Formal de Modelos de Control de Acceso para Dispositivos Móviles Interactivos
2009
·
Juan Manuel Crespo
·
Repositorio Hipermedial UNR (Universidad Nacional de Rosario)
PDF
Show more works
View as search
Works count:
19
Citation count:
526
H-index:
9
I10-index:
9
Year
Topic
Type
