Research output per year
Research output per year
DR
Accepting PhD Students
My research interest lie at the intersection of formal verification, foundations of cryptography and applied cryptography, especially with regard to privacy-enhancing cryptographic protocols and the formal verification of protocol implementations.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution