Maximize the everyday with Microsoft 365
Get online protection, secure cloud storage, and innovative apps designed to fit your needs—all in one plan.
Fine: A Type-Preserving Compiler for End-to-End Security Verification
This is a source release of the Fine compiler and several example programs. Last published: May 28, 2010.
Important! Selecting a language below will dynamically change the complete page content to that language.
Version:
0.3-alpha
Date Published:
5/12/2016
File Name:
fine-0.3-alpha.zip
File Size:
4.9 MB
This is a source release of the Fine compiler and several example programs. The Fine compiler implements a type system that enables the enforcement of rich, stateful authorization and information-flow policies to be verified. Our compilation technique produces verifiable target code in a language called DCIL, an extension of CIL, the language of the .NET runtime. Code consumers can check DCIL target programs using a syntactic byte-code verifier to establish the security of the code.Supported Operating Systems
Windows 10, Windows 7, Windows 8
- Windows 7, Windows 8, or Windows 10
- Click Download and follow the instructions.
Follow Microsoft