The following pages link to Lightweight bytecode verification (Q1826470):
Displayed 9 items.
- \textsc{Mnemonics}: type-safe bytecode generation at run time (Q656864) (← links)
- Proof-carrying code from certified abstract interpretation and fixpoint compression (Q860842) (← links)
- Type systems equivalent to data-flow analyses for imperative languages (Q860844) (← links)
- Abstraction-carrying code: a model for mobile code safety (Q949170) (← links)
- Using abstract interpretation to add type checking for interfaces in Java bytecode verification (Q974112) (← links)
- Reusing predicate precision in value analysis (Q2165503) (← links)
- Certificate size reduction in abstraction-carrying code (Q2909518) (← links)
- Sawja: Static Analysis Workshop for Java (Q3067538) (← links)
- A certified lightweight non-interference Java bytecode verifier (Q5400855) (← links)