Ironclad Apps

An Ironclad App lets a user securely transmit her data to a remote machine with the guarantee that every instruction executed on that machine adheres to a formal abstract specification of the app’s behavior.

The Ironclad project is pushing software verification to ambitious scale, applying it in the context of real systems.

Our papers are available at

The Overview guides you in using the Ironclad source release.

Last edited Oct 14, 2014 at 10:59 PM by howell, version 4


DoYouKnow Jun 21 at 10:58 PM 
Ironclad links broken.