Meta tags:

Headings (most frequently used words):

rui, fernandes, publications,

Text of the page (most frequently used words):
the (6), rui (4), fernandes (4), and (3), security (3), ruipedro16 (2), code (2), verified (2), implementations (2), cryptography (2), university (2), protonmail, com, preprint, iacr, eprint, pdf, completing, chain, hash, based, signatures, their, publications, last, updated, oct, 2025, before, that, did, bsc, software, engineering, msc, information, where, wrote, master, thesis, speculative, execution, resilient, faculty, sciences, porto, minho, currently, engineer, working, formally, post, quantum, cryptographic, part, project, formosa, crypto, max, planck, institute, for, privacy, posts,

Text of the page (random words):
rui fernandes rui fernandes code posts currently i m a cryptography engineer at the max planck institute for security and privacy working on formally verified post quantum cryptographic implementations as part of the formosa crypto project before that i did my bsc in software engineering at the university of minho and my msc in information security at the faculty of sciences of the university of porto where i wrote my master s thesis on speculative execution resilient cryptography cv last updated on oct 6 2025 publications completing the chain verified implementations of hash based signatures and their security preprint on iacr eprint pdf code rui fernandes rui fernandes ruipedro16 protonmail com ruipedro16