Miguel Quaresma

2023202413 3

Public access

3 articles

0 articles

available

not available

Based on funding mandates

Peter SchwabeMPI-SP and Radboud UniversityVerified email at mpi-sp.org
Bor de KockAssistant Professor, Norwegian University of Science and TechnologyVerified email at ntnu.no
Giulio MalavoltaBocconi UniversityVerified email at unibocconi.it
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of PortoVerified email at inesctec.pt
Benjamin GregoireInria Sophia-AntipolisVerified email at inria.fr
Tiago OliveiraSandboxAQVerified email at sandboxquantum.com
Pierre-Yves StrubResearch Scientist, PQShieldVerified email at strub.nu
José Bacelar AlmeidaHASLab / INESC TEC, Universidade do MinhoVerified email at di.uminho.pt

Miguel Quaresma

PhD Student, MPI-SP

Verified email at mpi-sp.org - Homepage


Title Sort by citations Sort by year Sort by 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	9	2023
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	7	2023
Swoosh: Efficient lattice-based non-interactive key exchange P Gajland, B de Kock, M Quaresma, G Malavolta, P Schwabe Cryptology ePrint Archive, 2023		2023
TrustZone Based Attestation in Secure Runtime Verification for Embedded Systems MM Quaresma PQDT-Global, 2020		2020

The system can't perform the operation now. Try again later.

Articles 1–4

Citations per year