Computer Scientist interested in Applied Cryptography, Software Security and Formal Methods.
See dblp, Google Scholar.