The Source is the Proof (2002)

by Vivek Haldar , Christian H. Stork , Michael Franz
Venue:In New Security Paradigms Workshop
Citations:6 - 3 self

Documents Related by Co-Citation

1097 Proof-Carrying Code – George C. Necula - 1997
75 SafeTSA: a type safe and referentially secure mobile-code representation based on Static Single Assignment form – Wolfram Amme - 2001
55 Oracle-Based Checking of Untrusted Software – George C. Necula, S.P. Rahul - 2001
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
7 Project transPROSE: Reconciling Mobile-Code Security with Execution Efficiency – Wolfram Amme, Niall Dalton, Peter H. Fröhlich, Vivek Haldar, Peter S. Housel, Jeffery von Ronne, Christian H. Stork, Sergiy Zhenochin, Michael Franz - 2001
229 Foundational Proof-Carrying Code – Andrew W. Appel - 2001
154 The Java Virtual Machine Specification. The Java Series – Tim Lindholm, Frank Yellin - 1997
4 The design of the Inferno virtual machine”, Hot Chips, n.d – P Winterbottom, R Pike - 1983
70 Compiler Support for Garbage Collection in a Statically Typed Language – Amer Diwan, Eliot Moss, Richard Hudson - 1992
50 LLVM: An Infrastructure for Multi-Stage Optimization – Chris Arthur Lattner - 2002
97 Java and the Java Virtual Machine - Definition, Verification, Validation – Robert Stärk, Joachim Schmid, Egon Börger - 2001
73 Efficient and Language-Independent Mobile Programs – Ali-Reza Adl-Tabatabai, Geoff Langdale, Steven Lucco, Robert Wahbe - 1996
271 The Design and Implementation of a Certifying Compiler – George C. Necula , Peter Lee - 1998
2 Tamper-proof annotations, by design – M Franz, C Krintz, V Haldar, C H Stork - 2002
1 A framework for optimizing Java using attributes. Lecture – P Pominville, F Qian, R Vallée-Rai, L Hendren, C Verbrugge
17 Verified lightweight bytecode verification. Concurrency and Computation: Practice and Experience – G Klein, T Nipow - 2001
19 Anllotating the Java Bytecodes in Support of Optimization. Concurrency: Pmctzce and Experience – Joseph Hummel, Ana Azevedo, David Kolson, Alexandru Nicolau - 1997
25 Annotating Java Class Files with Virtual Registers for Performance – Joel Jones, Samuel Kamin - 1999
53 Using Annotations to Reduce Dynamic Optimization Time – Chandra Krintz, Brad Calder - 2001