Folgen
Miguel Quaresma
Miguel Quaresma
PhD Student, MPI-SP
Bestätigte E-Mail-Adresse bei mpi-sp.org - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
92023
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
72023
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–4