Skip to content

Latest commit

 

History

History
17 lines (11 loc) · 961 Bytes

README.md

File metadata and controls

17 lines (11 loc) · 961 Bytes

A Secure Abstract Machine for ML

Build Status artistic

This repository contains the implementation of the secure abstract machine for ML detailed in the SEC@SAC 2016 paper: Implementing a Secure Abstract Machine.

Repository overview :

  • correspondence: Ocaml implementation of the functional correspondence used to derive the machine

  • abstract-machine: The abstract machine implementation

License

Artistic License 2.0