Meta tags:
description=Security and Cryptography Researcher and Engineer at Least Authority. Ph.D. Candidate at MPI-SP. Ultra-trail runner.;

Headings (most frequently used words):

publications, other, miguel, quaresma,

Text of the page (most frequently used words):
and (14), security (10), engineer (5), the (5), paper (5), cryptography (4), miguel (4), #quaresma (4), 2024 (4), talk (4), code (4), researcher (3), least (3), authority (3), candidate (3), ultra (3), trail (3), 2025 (3), correctness (3), for (3), thesis (3), high (3), mpi (2), runner (2), focused (2), formally (2), verifying (2), kyber (2), episode (2), implementation (2), usenix (2), based (2), completed (2), software (2), pdf (2), distributed (2), assurance (2), from (2), february (2), cryptographic (2), 2026 (2), dot (2), 10k, competitive, running, here, are, some, best, times, road, endurance, athlete, other, tches, 2023, rwc, swoosh, efficient, lattice, non, interactive, key, exchange, crypto, machine, checked, ind, cca, kem, easycrypt, distinguished, award, acm, ccs, jazzline, composable, cryptoline, functional, proofs, jasmin, programs, publications, during, studies, two, internships, closer, consulting, 2018, aptoide, 2019, trustzone, attestation, secure, runtime, verification, embedded, systems, between, 2015, 2020, degrees, computer, engineering, where, specialized, information, parallel, computing, wrote, master, part, reassure, project, laboratory, haslab, university, minho, previously, worked, cybersecurity, analyst, goldman, sachs, 2021, june, was, doctoral, jointly, supervised, research, performance, post, quantum, implementations, submitted, phd, manuscript, peter, schwabe, gilles, barthe, max, planck, institute, privacy, performing, audits, applications, design, email, miguelquaresma, gmail, com, full, github, google, scholar, linkedin, posts,

Text of the page (random words):
miguel quaresma security and cryptography researcher and engineer at least authority ph d candidate at mpi sp ultra trail runner miguel quaresma posts email miguelquaresma dot w at gmail dot com full cv pdf 02 2026 linkedin google scholar github i am a security and cryptography researcher and engineer at least authority performing security audits of cryptographic and distributed applications from design to implementation from february 2021 to june 2025 i was a doctoral candidate at the max planck institute for security and privacy jointly supervised by gilles barthe and peter schwabe my research focused on high assurance high performance post quantum cryptographic implementations i submitted my phd thesis manuscript in february 2026 previously i worked at goldman sachs as a cybersecurity analyst between 2015 and 2020 i completed my b sc and m sc degrees in computer engineering at the university of minho where i specialized in cryptography information security parallel and distributed computing i wrote my master s thesis at the high assurance software laboratory haslab as part of the reassure project thesis trustzone based attestation in secure runtime verification for embedded systems pdf during my studies i completed two internships as a software engineer at closer consulting in 2018 and as a security engineer at aptoide in 2019 publications jazzline composable cryptoline functional correctness proofs for jasmin programs acm ccs 2025 distinguished paper award code paper formally verifying kyber episode v machine checked ind cca security and correctness of ml kem in easycrypt crypto 2024 code paper talk swoosh efficient lattice based non interactive key exchange usenix security 2024 code paper talk rwc talk usenix security 24 formally verifying kyber episode iv implementation correctness tches 2023 code paper talk other i am a competitive endurance athlete focused on ultra trail running here are some of my best times on the road 5k 18 16 12 2024 10k 37 43 11 2024 37 28 10 2025 miguel quaresma miguel quaresma security and cryptography researcher and engineer at least authority ph d candidate at mpi sp ultra trail runner