VEP: a virtual machine for extended proof-carrying code.

Heidar Pirzadeh, Danny Dub

Browse the full CCS paper archive.