Experience
    Education
    Bio
    Research Areas and Projects
    Trusted Computing technology
    Operating system and virtualization security
    Authentication in ad hoc networks
    Open-source: eXtensible, Modular Hypervisor Framework (includes TrustVisor!)
    Open-source: Flicker: Minimal TCB Code Execution
    Open-source: SafeSlinger: Easy-to-Use and Secure Public-Key Exchange