Research Interests

Dan is working on the design and implementation of policy-neutral, verifiable security enforcement in a general-purpose, microkernel-based operating system.

More contact information is available at the Contact page.