A Formal Executable Semantics of the JavaCard Platform
No abstract available.
Related papers
- A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines VMCAI 2002
- Formal foundations of serverless computing OOPSLA 2019
- A Complete Formal Semantics of eBPF Instruction Set Architecture for Solana OOPSLA 2025
- Semantics of asynchronous JavaScript DLS 2017
- Koord: a language for programming and verifying distributed robotics application OOPSLA 2020
- Shaking Up Quantum Simulators with Fuzzing and Rigour OOPSLA 2025
- Gillian, part i: a multi-language platform for symbolic execution PLDI 2020
- Mutation-Based Lifted Repair of Software Product Lines ECOOP 2024