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

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)

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.

Jithin Jose University of Stuttgart

Basil Jose University of Stuttgart

Prof. Jose Luis Moro University of Stuttgart

Jose Juan Jeronimo Rendon University of Stuttgart

Jose Manuel Monterrosas Romero University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Formal verification of side-channel countermeasures using self-composition.J. Almeida, M. Barbosa, J. Pinto, und B. Vieira. Sci. Comput. Program., 78 (7): 796-812 (2013)Teaching how to program using automated assessment and functional glossy games (experience report).J. Almeida, A. Cunha, N. Macedo, H. Pacheco, und J. Proença. Proc. ACM Program. Lang., 2 (ICFP): 82:1-82:17 (2018)Bounded Version Vectors.J. Almeida, P. Almeida, und C. Baquero. DISC, Volume 3274 von Lecture Notes in Computer Science, Seite 102-116. Springer, (2004)Verifying Cryptographic Software Correctness with Respect to Reference Implementations.J. Almeida, M. Barbosa, J. Pinto, und B. Vieira. FMICS, Volume 5825 von Lecture Notes in Computer Science, Seite 37-52. Springer, (2009)The Last Mile: High-Assurance and High-Speed Cryptographic Implementations.J. Almeida, M. Barbosa, G. Barthe, B. Grégoire, A. Koutsos, V. Laporte, T. Oliveira, und P. Strub. CoRR, (2019)Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks.J. Almeida, M. Barbosa, G. Barthe, H. Pacheco, V. Pereira, und B. Portela. CSF, Seite 132-146. IEEE Computer Society, (2018)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)A Tool for Programming with Interaction Nets.J. Almeida, J. Pinto, und M. Vilaça. Electron. Notes Theor. Comput. Sci., (2008)CAOVerif: An open-source deductive verification platform for cryptographic software implementations.J. Almeida, M. Barbosa, J. Filliâtre, J. Pinto, und B. Vieira. Sci. Comput. Program., (2014)Deductive verification of cryptographic software.J. Almeida, M. Barbosa, J. Pinto, und B. Vieira. ISSE, 6 (3): 203-218 (2010)