Improving the official specification of Java bytecode verification

Abstract

Bytecode verification is the main mechanism to ensure type safety in the Java Virtual Machine. Inadequacies in its official specification may lead to incorrect implementations where security can be broken and/or certain legal programs are rejected. This paper provides a comprehensive analysis of the specification, along with concrete suggestions for improvement. Copyright c © 2003 John Wiley & Sons, Ltd.

DOI: 10.1002/cpe.714

Extracted Key Phrases

3 Figures and Tables

Cite this paper

@article{Coglio2003ImprovingTO, title={Improving the official specification of Java bytecode verification}, author={Alessandro Coglio}, journal={Concurrency and Computation: Practice and Experience}, year={2003}, volume={15}, pages={155-179} }