Fine: A Type-Preserving Compiler for End-to-End Security Verification

Language:
English
This is a source release of the Fine compiler and several example programs. Last published: May 28, 2010.