Secure Internet Programming - menu
Secure Internet Programming
Home
Projects
People
Publications
Support
Seminar
History
FAQ
Princeton University
Department of Computer Science

sip@cs.princeton.edu

Research Funding
These research grants allow us to study the principles of secure programming.
DARPA: 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
NSF: Network Browser Security and Human Values
NSF: National Young Investigator
Alfred P. Sloan Foundation

Corporate Support
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
Intel
Microsoft

Previous support has come from Sun Microsystems, Telcordia, Merrill Lynch, and Trintech.

For information about the benefits of corporate membership and how to become a member, please contact Edward Felten.