Experience
Education
Bio
Research Interests
Information security and privacy, especially foundations of computer security & privacy; design, analysis and verification for security-critical systems and services; methods and tools for assessing and enhancing end-user privacy; research on new attack vectors; and universal solutions in software and network security.