CMSC 838Z Spring 2005

Language-Based Security


Resources



Background


Proof-Carrying Code
Typed Assembly Language