The following pages link to Theoretical Computer Science (Q5395086):
Displayed 4 items.
- Relational bytecode correlations (Q710672) (← links)
- Security types preserving compilation (Q865705) (← links)
- Instruction-level security analysis for information flow in stack-based assembly languages (Q2381502) (← links)
- More Typed Assembly Languages for Confidentiality (Q3498434) (← links)