Suivre
Miguel Quaresma
Miguel Quaresma
PhD Student, MPI-SP
Adresse e-mail validée de mpi-sp.org - Page d'accueil
Titre
Citée par
Citée par
Année
Formally verifying Kyber: Episode IV: Implementation correctness
JB Almeida, M Barbosa, G Barthe, B Grégoire, V Laporte, JC Léchenet, ...
IACR Transactions on Cryptographic Hardware and Embedded Systems 2023 (3 …, 2023
242023
Swoosh: Practical Lattice-Based Non-Interactive Key Exchange.
P Gajland, B de Kock, M Quaresma, G Malavolta, P Schwabe
IACR Cryptol. ePrint Arch. 2023, 271, 2023
172023
{SWOOSH}: Efficient {Lattice-Based}{Non-Interactive} Key Exchange
P Gajland, B de Kock, M Quaresma, G Malavolta, P Schwabe
33rd USENIX Security Symposium (USENIX Security 24), 487-504, 2024
52024
Formally Verifying Kyber: Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt
JB Almeida, S Arranz Olmos, M Barbosa, G Barthe, F Dupressoir, ...
Annual International Cryptology Conference, 384-421, 2024
32024
TrustZone based attestation in secure runtime verification for embedded systems
MM Quaresma
PQDT-Global, 2020
12020
Formally verifying Kyber–Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt
J Bacelar Almeida, S Arranz Olmos, M Barbosa, M Quaresma, P Schwabe, ...
Cham: Spriner, 2024
2024
Formally verifying Kyber
JB Almeida, SA Olmos, M Barbosa, G Barthe, F Dupressoir, B Grégoire, ...
2024
Formal Verification Challenges on High-Speed Cryptographic Implementations
M Quaresma, T Oliveira
Journées 2022 du GT” Méthodes Formelles pour la Sécurité”, GdR Sécurité …, 2022
2022
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–8