Meta tags:

Headings (most frequently used words):

joão, diogo, duarte, phd, cryptography, student, university, of, porto, and, inesc, tec,

Text of the page (most frequently used words):
and (11), the (6), cryptography (3), joão (3), diogo (3), #duarte (3), blog (2), research (2), security (2), post (2), quantum (2), proofs (2), implementations (2), phd (2), student (2), inesc (2), tec (2), university (2), porto (2), contact, joao, diogoduarte, dot, dblp, linkedin, gitlab, github, google, scholar, orcid, for, more, information, about, publications, code, please, refer, following, links, focuses, formally, proving, correctness, cryptographic, schemes, migration, systems, this, involves, analysing, expanding, upon, design, validation, high, assurance, specifications, pqc, hybrid, protocols, name, under, supervision, also, member, group, primarily, working, easycrypt, jasmin, formosa, crypto, professor, manuel, barbosa, rss, home,

Text of the page (random words):
joão diogo duarte joão diogo duarte home blog rss phd cryptography student university of porto and inesc tec my name is joão diogo duarte and i am a phd student in cryptography at the university of porto and inesc tec under the supervision of professor manuel barbosa i am also a member of the formosa crypto group primarily working in easycrypt proofs and jasmin implementations my research focuses on formally proving the correctness and security of cryptographic schemes and on post quantum migration of systems this involves analysing and expanding upon the design security proofs and validation of high assurance implementations and specifications of post quantum cryptography pqc and hybrid protocols for more information about my research publications and code please refer to the following links blog orcid google scholar github gitlab linkedin dblp contact joao at diogoduarte dot pt