This code was primarily written by Karthikeyan Bhargavan (INRIA), Marina Polubelova (INRIA), and uses code
from the Vale project written by Aymeric Fromherz (CMU), Chris Hawblitzel (MSR), and Bryan Parno (CMU). 
An earlier version was written by Jean Karim Zinzindohoue (INRIA).