A Secure Abstract Machine for ML

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