These research grants allow us to study the principles of secure
Scaling Proof-Carrying Code to Production Compilers and Security Policies
NSF: Applying Compiler Techniques to Proof-Carrying Code
NSF: Tools, Interfaces, and Access Control for Secure Programming
Network Browser Security and Human Values
National Young Investigator
Alfred P. Sloan Foundation
With the help of the corporate members of the SIP Lab, we
collaborate with industry to improve security for Internet users.
Full corporate members of the SIP Lab include
IBM University Partnership Program
Previous support has come from
Merrill Lynch, and
For information about the benefits of corporate membership and how to become
a member, please contact Edward Felten.