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 http://research.microsoft.com/en-us/projects/ironclad/.

The Overview guides you in using the Ironclad source release.

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

Comments

No comments yet.