Lightweight bytecode verification

DOI10.1023/B:JARS.0000021015.15794.82MaRDI QIDQ1826470zbMATH OpenFDO

Authors Eva Rose

Publication date 6 August 2004

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/B:JARS.0000021015.15794.82

zbMATH Keywords

bytecode verificationdata flow analysisproof-carrying code

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Fundamental Approaches to Software Engineering
• Java bytecode verification: Algorithms and formalizations
• scientific article; zbMATH DE number 1857507
• Verified lightweight bytecode verification
• scientific article; zbMATH DE number 1701360

Cited in

(19)

• Java bytecode verification: Algorithms and formalizations
• Bytecode verification by model checking
• Reusing predicate precision in value analysis
• Certificate size reduction in abstraction-carrying code
• Sawja: static analysis workshop for Java
• Verified lightweight bytecode verification
• scientific article; zbMATH DE number 1950608 (Why is no real title available?)
• scientific article; zbMATH DE number 2030038 (Why is no real title available?)
• scientific article; zbMATH DE number 2044528 (Why is no real title available?)
• scientific article; zbMATH DE number 1857507 (Why is no real title available?)
• Bytecode verification on Java smart cards
• A certified lightweight non-interference Java bytecode verifier
• A Certified Lightweight Non-interference Java Bytecode Verifier
• \textsc{Mnemonics}: type-safe bytecode generation at run time
• Relational bytecode correlations
• Proof-carrying code from certified abstract interpretation and fixpoint compression
• Type systems equivalent to data-flow analyses for imperative languages
• Abstraction-carrying code: a model for mobile code safety
• Using abstract interpretation to add type checking for interfaces in Java bytecode verification

This page was built for publication: Lightweight bytecode verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1826470)