This personal Web-site summarizes research and work in the area of Secure Application Development, Formal Verification of Cryptographic Protocols and Applied Security Frameworks.

All material published here (including security advisories, research papers, etc) is expressing personal views and research on Information Security related subjects, and should not be related to any organization I am affiliated with (unless stated otherwise). 

Current affiliations:
Past affiliations:
  • Dell Services
  • Perot Systems
  • Original Solutions