( en | de | ru )

 

Disambiguierung von "Crespo, Juan Manuel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Computer-Aided Cryptographic Proofs.

, , , , und . ITP, Volume 7406 von Lecture Notes in Computer Science, Seite 11-27. Springer, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Juan Manuel Hurtado

Juan Manuel Ondo

Juan Manuel Maler

Juan Manuel Molina

Juan Manuel Montes

 

Weitere Publikationen von Autoren mit dem selben Namen

Product programs and relational program logics., , und . J. Log. Algebraic Methods Program., 85 (5): 847-859 (2016)Fully automated analysis of padding-based encryption in the computational model., , , , , , und . ACM Conference on Computer and Communications Security, Seite 1247-1260. ACM, (2013)Beyond 2-Safety: Asymmetric Product Programs for Relational Program Verification., , und . LFCS, Volume 7734 von Lecture Notes in Computer Science, Seite 29-43. Springer, (2013)Automation and Modularity of Cryptographic Proofs in the Computational Model.. Technical University of Madrid, Spain, (2016)Mind the Gap: Modular Machine-Checked Proofs of One-Round Key Exchange Protocols., , , und . EUROCRYPT (2), Volume 9057 von Lecture Notes in Computer Science, Seite 689-718. Springer, (2015)Computer-Aided Cryptographic Proofs., , , , und . ITP, Volume 7406 von Lecture Notes in Computer Science, Seite 11-27. Springer, (2012)A Framework for the Analysis of Access Control Models for Interactive Mobile Devices., , und . TYPES, Volume 5497 von Lecture Notes in Computer Science, Seite 49-63. Springer, (2008)A Machine-Checked Framework for Relational Separation Logic., und . SEFM, Volume 7041 von Lecture Notes in Computer Science, Seite 122-137. Springer, (2011)Relational Verification Using Product Programs., , und . FM, Volume 6664 von Lecture Notes in Computer Science, Seite 200-214. Springer, (2011)From relational verification to SIMD loop synthesis., , , , und . PPoPP, Seite 123-134. ACM, (2013)