A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines
Abstract elided by the publisher.
Related papers
- A Formal Executable Semantics of the JavaCard Platform ESOP 2001
- End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT CAV 2024
- A machine-checked model for a Java-like language, virtual machine, and compiler TOPLAS 2006
- How java programs interact with virtual machines at the microarchitectural level OOPSLA 2003
- Compiling lazy functional programs for the Java Virtual Machine JFP 1999
- Towards efficient and verified virtual machines for dynamic languages CPP 2021
- Defensive loop tiling for shared cache CGO 2013
- A parsing machine for PEGs DLS 2008