SawjaCard: A Static Analysis Tool for Certifying Java Card Applications
No abstract available.
DOI 10.1007/978-3-319-10936-7_4
Related papers
- Correctness of Java Card Method Lookup via Logical Relations ESOP 2000
- Termination analysis for evolving programs: an incremental approach by reusing certified modules OOPSLA 2020
- Deriving Specialized Program Analyses for Certifying Component-Client Conformance PLDI 2002
- Developing and certifying Datalog optimizations in coq/mathcomp CPP 2021
- Pointer Analysis for Database-Backed Applications PLDI 2025
- Escape Analysis for Object-Oriented Languages: Application to Java OOPSLA 1999
- Two Approaches to Fast Bytecode Frontend for Static Analysis OOPSLA 2025
- Run-Time Support for Optimizations Based on Escape Analysis CGO 2007