Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine
No abstract available.
Related papers
- Self-certification: bootstrapping certified typecheckers in F* with Coq POPL 2012
- Formally Certified Approximate Model Counting CAV 2024
- Certificate translation for optimizing compilers TOPLAS 2009
- Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra SAS 2013
- Principled Scavenging PLDI 2001
- A Certified Lightweight Non-interference Java Bytecode Verifier ESOP 2007
- Perfectly parallel fairness certification of neural networks OOPSLA 2020
- Progress in Certifying Hardware Model Checking Results CAV 2021