Amphawa.eu
- Title
- Denis Butin
- Meta Description
- Denis Butin's homepage
- Meta 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