A Certified Lightweight Non-interference Java Bytecode Verifier
Abstract elided by the publisher.
Related papers
- Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL TACAS 1999
- A Formal Framework for the Java Bytecode Language and Verifier OOPSLA 1999
- JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode CAV 2018
- Parameterized Types for Java POPL 1997
- A Type System for Java Bytecode Subroutines POPL 1998
- Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine APLAS 2009
- A Type System for Java Bytecode Subroutines TOPLAS 1999
- A Type System for Object Initialization in the Java Bytecode Language OOPSLA 1998