SIP: Research Funding

Secure Internet Programming - menu


	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.