title

Denis Butin

Title

Denis Butin

Description

Denis Butin's homepage

Keywords

Denis Butin, TU, Darmstadt, XMSS, squareup, square-up, quantum, pq, Germany, hash-based, signatures, Merkle, post-quantum, cryptography, Inria, Lyon, PPL, policies, CPDP, CITI, INSA, Privatics, accountability, DCU, isabelle, hol, computer security, formal methods, inductive method, Dublin City University, PhD, postdoc, e-voting, security protocols, privacy

Content-Type

text/html; charset=iso-8859-1

stylesheet

css/style01.css