This repository contains the implementation of the secure abstract machine for ML
detailed in the SEC@SAC 2016 paper: Implementing a Secure Abstract Machine.
correspondence: Ocaml implementation of the functional correspondence used to derive the machine
abstract-machine: The abstract machine implementation