Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine.

Yuan Dong, Kai Ren, Shengyuan Wang, Suqin Zhang

Browse the full APLAS paper archive.