Follow
Miguel Quaresma
Miguel Quaresma
PhD Student, MPI-SP
Verified email at mpi-sp.org - Homepage
Title
Cited by
Cited by
Year
Formally verifying Kyber
JB Almeida, SA Olmos, M Barbosa, G Barthe, F Dupressoir, B Grégoire, ...
182024
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
152023
{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
22024
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
12024
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
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
The system can't perform the operation now. Try again later.
Articles 1–7