Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Machine-Checked Proof of Security for AWS Key Management Service.

J. Almeida, M. Barbosa, G. Barthe, M. Campagna, E. Cohen, B. Grégoire, V. Pereira, B. Portela, P. Strub, und S. Tasiran. CCS, Seite 63-78. ACM, (2019)

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.

Manuel Mauch University of Stuttgart

Dr. Manuel Keßler University of Stuttgart

Manuel Ilg University of Stuttgart

Dr. -Ing. Manuel Hirsch University of Stuttgart

Dr. rer. nat. Manuel Häßner University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

A Deductive Verification Platform for Cryptographic Software.M. Barbosa, J. Pinto, J. Filliâtre, und B. Vieira. ECEASST, (2010)First Steps Toward a Cryptography-Aware Language and Compiler.M. Barbosa, R. Noad, D. Page, und N. Smart. IACR Cryptology ePrint Archive, (2005)Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC.J. Almeida, M. Barbosa, G. Barthe, und F. Dupressoir. IACR Cryptology ePrint Archive, (2015)Using Compilers to Enhance Cryptographic Product Development.E. Bangerter, M. Barbosa, D. Bernstein, I. Damgård, D. Page, J. Pagter, A. Sadeghi, und S. Sovio. ISSE, Seite 291-301. Vieweg+Teubner, (2009)Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols.J. Almeida, M. Barbosa, E. Bangerter, G. Barthe, S. Krenn, und S. Béguelin. ACM Conference on Computer and Communications Security, Seite 488-500. ACM, (2012)Performance trade-offs on a secure multi-party relational database.R. Pontes, M. Pinto, M. Barbosa, R. Vilaça, M. Matos, und R. Oliveira. SAC, Seite 456-461. ACM, (2017)Compiling CAO: From Cryptographic Specifications to C Implementations.M. Barbosa, D. Castro, und P. Silva. POST, Volume 8414 von Lecture Notes in Computer Science, Seite 240-244. Springer, (2014)Jasmin: High-Assurance and High-Speed Cryptography.J. Almeida, M. Barbosa, G. Barthe, A. Blot, B. Grégoire, V. Laporte, T. Oliveira, H. Pacheco, B. Schmidt, und P. Strub. ACM Conference on Computer and Communications Security, Seite 1807-1823. ACM, (2017)A Fast and Verified Software Stack for Secure Function Evaluation.J. Almeida, M. Barbosa, G. Barthe, F. Dupressoir, B. Grégoire, V. Laporte, und V. Pereira. ACM Conference on Computer and Communications Security, Seite 1989-2006. ACM, (2017)Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC.J. Almeida, M. Barbosa, G. Barthe, und F. Dupressoir. FSE, Volume 9783 von Lecture Notes in Computer Science, Seite 163-184. Springer, (2016)