Pages that link to "Item:Q1405988"

The following pages link to Java bytecode verification: Algorithms and formalizations (Q1405988):

Displayed 12 items.

• Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types (Q532427) ‎ (← links)
• Tool-assisted specification and verification of typed low-level languages (Q861687) ‎ (← links)
• Security types preserving compilation (Q865705) ‎ (← links)
• Formalizing non-interference for a simple bytecode language in Coq (Q931434) ‎ (← 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)
• Byte code level cross-compilation for developing web applications (Q1016653) ‎ (← links)
• Verified bytecode verification and type-certifying compilation (Q1881665) ‎ (← links)
• Instruction-level security analysis for information flow in stack-based assembly languages (Q2381502) ‎ (← links)
• Provably correct runtime monitoring (Q2390029) ‎ (← links)
• A formally verified compiler back-end (Q2655327) ‎ (← links)
• Certificate size reduction in abstraction-carrying code (Q2909518) ‎ (← links)