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 Episode IV: Implementation Correctness
JB Almeida, M Barbosa, G Barthe, B Grégoire, V Laporte, JC Léchenet, ...
Cryptology ePrint Archive, 2023
82023
Swoosh: Practical Lattice-Based Non-Interactive Key Exchange
P Gajland, B de Kock, M Quaresma, G Malavolta, P Schwabe
Cryptology ePrint Archive, 2023
62023
TrustZone based attestation in secure runtime verification for embedded systems
MM Quaresma
2020
Formally verifying Kyber
JB Almeida, M Barbosa, G Barthe, B Grégoire, V Laporte, JC Léchenet, ...
Swoosh: Efficient lattice-based non-interactive key exchange
P Gajland, B de Kock, M Quaresma, G Malavolta, P Schwabe
Cryptology ePrint Archive, Report 2023/271, 2023. https://eprint. iacr. org …, 0
The system can't perform the operation now. Try again later.
Articles 1–5