sip@cs.princeton.edu

• Andrew Appel (Princeton University)
• Edward Felten (Princeton University)
• Zhong Shao (Yale University)
• Valery Trifonov (Yale University)
• David Walker (Princeton University)

Research Overview

Our DARPA-supported research project in proof-carrying code and proof-carrying authentication includes the following components:

Proof-Carrying Code

Andrew Appel, David Walker, Roberto Virga
Students: Neophytos Michael, Kedar Swadi, Amal Ahmed, Juan Chen, Gang Tan, Chris Richards, Dinghao Wu

Proof-Carrying Authentication

Andrew Appel, Edward Felten
Students: Lujo Bauer, Eunyoung Lee, Xinming Ou, Michael Schneider

Certifying Compilers

Zhong Shao, Valery Trifonov
Students: Christopher League, Stefan Monnier, Bratin Saha.

Other research from the SIP lab