CSE 291
Building Secure Systems using Programming Languages and Analysis
Organization
Syllabus
Contact
Notes
Assignments
Project ideas
email
github
twitter
Notes
miTLS
Micro-policies
SecVerilog
Ironclad Apps
Singularity
S2E
Microchex
COWL
Chrome extension system
NaCl
Verena
Hails
Resin
JIF
Shill
Confused deputy