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, ...
142024
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
92023
Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt
JB Almeida, SA Olmos, M Barbosa, G Barthe, F Dupressoir, B Grégoire, ...
Cryptology ePrint Archive, 2024
12024
TrustZone based Attestation in Secure Runtime Verification for Embedded Systems
MM Quaresma
PQDT-Global, 2020
12020
Swoosh: Efficient lattice-based non-interactive key exchange
P Gajland, B de Kock, M Quaresma, G Malavolta, P Schwabe
Cryptology ePrint Archive, 2023
2023
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–6