Skip to Main content Skip to Navigation
Conference papers

Java bytecode verification: an overview

Abstract : Bytecode verification is a crucial security component for Java applets, on the Web and on embedded devices such as smart cards. This paper describes the main bytecode verification algorithms and surveys the variety of formal methods that have been applied to bytecode verification in order to establish its correctness.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01499955
Contributor : Xavier Leroy Connect in order to contact the contributor
Submitted on : Saturday, April 1, 2017 - 6:33:44 PM
Last modification on : Saturday, November 21, 2020 - 7:58:02 PM
Long-term archiving on: : Sunday, July 2, 2017 - 12:58:27 PM

File

survey-bytecode-verification.p...
Files produced by the author(s)

Identifiers

Collections

Citation

Xavier Leroy. Java bytecode verification: an overview. Computer Aided Verification, CAV 2001, Jul 2001, Paris, France. pp.265-285, ⟨10.1007/3-540-44585-4_26⟩. ⟨hal-01499955⟩

Share

Metrics

Record views

594

Files downloads

643