Pluggable Verification Modules: An Extensible Protection Mechanism for the JVM

Pluggable Verification Modules: An Extensible Protection Mechanism for the JVM (2003)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Philip W.L. Fong

Venue:	IN PROCEEDINGS OF THE 19TH ANNUAL ACM SIGPLAN CONFERENCE ON OBJECT-ORIENTED PROGRAMMING, SYSTEMS, LANGUAGES, AND APPLICATIONS (OOPSLA’04
Citations:	13 - 7 self

BibTeX

@INPROCEEDINGS{Fong03pluggableverification,
    author = {Philip W.L. Fong},
    title = {Pluggable Verification Modules: An Extensible Protection Mechanism for the JVM},
    booktitle = {IN PROCEEDINGS OF THE 19TH ANNUAL ACM SIGPLAN CONFERENCE ON OBJECT-ORIENTED PROGRAMMING, SYSTEMS, LANGUAGES, AND APPLICATIONS (OOPSLA’04},
    year = {2003},
    pages = {404--418},
    publisher = {}
}

Bookmark

OpenURL

Abstract

Citations

1739	Foundations of Logic Programming - Lloyd - 1984
1363	Aspect-oriented programming - Kiczales, Lamping, et al. - 1997
1023	The Java Virtual Machine Specification - Lindholm, Yellin - 1996
1016	Proof-carrying code - Necula - 1997
972	An overview of AspectJ - Kiczales, Hilsdale, et al.
759	The Art of the Metaobject Protocol - Kiczales, Rivieres, et al. - 1991
392	safety and performance in the SPIN operating system - BERSHAD, SAVAGE, et al. - 1995
381	Safe Kernel Extensions without Run-time Checking - Necula, Lee
322	Flow-sensitive type qualifiers - Foster, Terauchi, et al. - 2002
312	Making the future safe for the past: adding genericity to the java programming language - Bracha, Odersky, et al. - 1998
274	Cyclone: A safe dialect of C - Jim, Morrisett, et al. - 2002
262	Ownership types for safe programming: Preventing data races and deadlocks - Boyapati, Lee, et al. - 2002
170	A type system for Java bytecode subroutines - Stata, Abadi - 1998
164	Dynamics class loading in the Java virtual machine - Liang, Bracha - 1998
161	ArchJava: connecting software architecture to implementation - Aldrich, Chambers, et al. - 2002
154	Designing distributed applications with mobile code paradigms - Carzaniga, Picco, et al. - 1997
136	Program Fragments, Linking, and Modularization - Cardelli - 1997
125	Ownership types for object encapsulation - Boyapati, Liskov, et al. - 2003
112	O’Toole Jr. Exokernel: an operating system architecture for application-level resource management - Engler, Kaashoek, et al. - 1995
97	Programming languages for mobile code - Thorn - 1997
82	Computational Reflection in Class Based Object Oriented - Ferber - 1989
72	SafeTSA: A type safe and referentially secure mobile-code representation based on static single assignment form - Amme, Dalton, et al. - 2001
57	Type-safe linking and modular assembly language - Glew, Morrisett - 1999
51	A simple, comprehensive type system for Java bytecode subroutines - O’Callahan - 1999
46	A specification of Java loading and bytecode verification - Goldberg - 1997
36	The Confused Deputy (or why capabilities might have been invented - HARDY - 1988
34	Towards a provably-correct implementation of the JVM bytecode verifier - Coglio, Goldberg, et al. - 1998
32	Capabilities for sharing: A generalisation of uniqueness and read-only - Boyland, Noble, et al. - 2001
32	JAC — access right based encapsulation for Java - Kniesel, Theisen
30	Access rights analysis for Java - Koved, Pistoia, et al. - 2002
27	A Formal Specification of Java Class Loading - Qian, Goldberg, et al. - 2000
26	An analyzable annotation language - Khurshid, Marinov, et al. - 2002
26	Standard fixpoint iteration for Java bytecode verification - Qian
25	Detecting Format-String Vulnerabilities with Type Qualifiers - Shankar, Talwar, et al. - 2001
23	A security kernel based on the lambdacalculus - Rees - 1996
22	JSR-175: A Metadata Facility for the Java�Programming Language - Bloch - 2004
21	Vijay Sundaresan. Soot - a java bytecode optimization framework - Vallée-Rai, Co, et al. - 1999
17	Proof linking: Modular verification of mobile programs in the presence of lazy, dynamic linking - Fong, Cameron - 2000
16	Type-safe linking with recursive dlls and shared libraries - Duggan - 2002
12	Simple generation of static singleassignment form - Aycock, Horspool - 2000
11	The Aegis VM Project. http://aegisvm.sourceforge.net - Fong
10	Proof linking: Distributed verification of Java classfiles in the presence of multiple classloaders - Fong, Cameron - 2001
9	Proof Linking: A Modular Verification Architecture for Mobile Code Systems - Fong - 2001
9	Extensible Virtual Machines - Harris
9	Engineering a Customizable Intermediate Representation - Palacz, Baker, et al. - 2003
8	Type safety in the JVM: Some problems in JDK 1.2.2 and proposed solutions - Coglio, Goldberg - 2000
6	A modular and extensible JVM infrastructure - Doyle, Abdelrahman, et al. - 2002
5	Capabilities as alias control: Secure cooperation in dynamically extensible systems - Fong, Zhang - 2004
3	Language Infrastructure (CLI), Standard ECMA–335. European Association for Standardizing Information and Communication Systems, 4th edition - Common - 2006