A certified lightweight non-interference Java bytecode verifier

DOI10.1017/S0960129512000850zbMath1282.68089OpenAlexW2076840859MaRDI QIDQ5400855

Tamara Rezk, David Pichardie, Gilles Barthe

Publication date: 12 March 2014

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129512000850

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Uses Software

• Coq

Cites Work

• Unnamed Item
• A type system for the Java bytecode language and verifier
• Lightweight bytecode verification
• Stack-based access control and secure information flow
• Bytecode verification on Java smart cards
• A Certified Lightweight Non-interference Java Bytecode Verifier

This page was built for publication: A certified lightweight non-interference Java bytecode verifier