Pages that link to "Item:Q1405988"
From MaRDI portal
The following pages link to Java bytecode verification: Algorithms and formalizations (Q1405988):
Displaying 26 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 subroutines (Q1405993) (← links)
- Bytecode verification by model checking (Q1405996) (← links)
- Lightweight bytecode verification (Q1826470) (← links)
- Formalization and analysis of class loading in Java (Q1850957) (← links)
- Verified bytecode verification and type-certifying compilation (Q1881665) (← links)
- Formal specification and verification of JDK's identity hash map implementation (Q2165501) (← 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)
- Rule-based programming in Java for protocol verification (Q2849866) (← links)
- Certificate size reduction in abstraction-carrying code (Q2909518) (← links)
- (Q4738855) (← links)
- Bytecode verification on Java smart cards (Q4791013) (← links)
- (Q4818817) (← links)
- A certified lightweight non-interference Java bytecode verifier (Q5400855) (← links)
- Theorem Proving in Higher Order Logics (Q5477655) (← links)
- Verification of Java Programs with Generics (Q5505432) (← links)
- (Q5506391) (← links)
- Security monitor inlining and certification for multithreaded Java (Q5740632) (← links)