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.
  • Version:

    0.3-alpha

    File Name:

    fine-0.3-alpha.zip

    Date Published:

    5/12/2016

    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 System

    Windows 10 , Windows 7, Windows 8

      • Windows 7, Windows 8, or Windows 10
      • Click Download and follow the instructions.
Site feedback
Microsoft

What category would you like to give web site feedback on?



Rate your level of satisfaction with this web page today:

Comments:

Submit