Pages that link to "Item:Q4791013"
From MaRDI portal
The following pages link to Bytecode verification on Java smart cards (Q4791013):
Displaying 9 items.
- A verifiable low-level concurrent programming model based on colored Petri nets (Q350966) (← links)
- Using postdomination to reduce space requirements of data flow analysis (Q844147) (← links)
- Using abstract interpretation to add type checking for interfaces in Java bytecode verification (Q974112) (← links)
- Java bytecode verification: Algorithms and formalizations (Q1405988) (← links)
- A B model for ensuring soundness of a large subset of the Java card virtual machine (Q1870867) (← links)
- Instruction-level security analysis for information flow in stack-based assembly languages (Q2381502) (← links)
- A program logic for resources (Q2463560) (← links)
- Programming Languages and Systems (Q5308706) (← links)
- A certified lightweight non-interference Java bytecode verifier (Q5400855) (← links)