Java and the Java Virtual Machine - Definition, Verification, Validation (2001)

Cached

Download Links

by Robert Stärk , Joachim Schmid , Egon Börger
Citations:97 - 12 self

Active Bibliography

5 The Problem of Bytecode Verification in Current Implementations of the JVM – Robert F. Stärk, Joachim Schmid - 2000
8 Improving the Official Specification of Java Bytecode Verification – Alessandro Coglio - 2001
1 Formalising the Safety of Java, the Java Virtual Machine and Java Card – Pieter H. Hartel, Luc Moreau
9 Modular Design for the Java Virtual Machine Architecture – Egon Börger, Wolfram Schulte - 1999
3 Java Bytecode Verification is Not Possible – Robert F. Stärk, Joachim Schmid - 2001
Completeness of a bytecode verifier and a certifying – Robert F. Stärk, Eth Zürich, Joachim Schmid
6 Completeness of a bytecode verifier and a certifying Java-to-JVM compiler – Robert F. Stärk, Joachim Schmid - 2003
24 A Type System for the Java Bytecode Language and Verifier – Stephen N. Freund, John C. Mitchell - 2003
29 Standard Fixpoint Iteration for Java Bytecode Verification – Zhenyu Qian
53 A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines – Zhenyu Qian - 1998
1 Language-Based Security for Malicious Mobile Code – Fred B. Schneider, Dexter Kozen, Greg Morrisett, Andrew C. Myers
42 A Formal Framework for the Java Bytecode Language and Verifier – Stephen N. Freund, John C. Mitchell - 1999
38 Toward a Provably-Correct Implementation of the JVM Bytecode Verifier – Alessandro Coglio, Allen Goldberg, Zhenyu Qian - 1998
11 Least Types for Memory Locations in Java Bytecode – Zhenyu Qian - 1999
A Flexible Model for Dynamic Linking in Java and C # ∗ – Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach
24 Towards an abstract model of Java dynamic linking and verfication – Sophia Drossopoulou - 2001
3 Proofing: An Efficient and Safe Alternative to Mobile-Code Verification – Andreas Gal, Christian W. Probst, Michael Franz - 2003
84 Java Bytecode Verification: Algorithms and Formalizations – Xavier Leroy, Inria Rocquencourt, Trusted Logic S. A - 2003
13 Pluggable Verification Modules: An Extensible Protection Mechanism for the JVM – Philip W.L. Fong - 2003