BCiC: A System for Code Authentication and Verification.

Nathan Whitehead, Martn Abadi

Browse the full LPAR paper archive.