Programming Languages & Security

Programming Languages & Security at Princeton University includes functional programming languages (ML) and type theory, as well as security and privacy technologies and policy.

Groups

• Secure Internet Programming
• Secure Network Systems
• The Liberty Research Group

Projects

• AMPL
• Aspect-Oriented Functional Programming (AspectML)
• Concurrent C Minor
• Foundational Proof-Carrying Code
• Modularity and Secure Linking
• PADS
• Plato - Defining Modern Logics for Modern Programmers
• Polymer - A Language for Composing Run-Time Security Policies
• Proof-Carrying Authorization
• Standard ML of New Jersey
• Typed Assembly Language (TAL)

Site Map | Webmaster

Content © 2009

Princeton University Computer Science Department