Java bytecode verification: an overview - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2001

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.
Fichier principal
Vignette du fichier
survey-bytecode-verification.pdf (260.38 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01499955 , version 1 (01-04-2017)

Identifiers

Cite

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⟩

Collections

INRIA INRIA2
484 View
332 Download

Altmetric

Share

Gmail Facebook X LinkedIn More