Policies and Proofs for Code Auditing.

Nathan Whitehead, Jordan Johnson, Martn Abadi

Browse the full ATVA paper archive.