The source is the proof

Proceedings New Security Paradigms Workshop

Volumn , Issue , 2002, Pages 69-73

  Haldar, Vivek ^a   Stork, Christian H ^a   Franz, Michael ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Abstract syntax trees; Language based security; Mobile code

Indexed keywords

CODES (SYMBOLS); CRYPTOGRAPHY; DATA PRIVACY; HIGH LEVEL LANGUAGES; SEMANTICS;

ABSTRACT SYNTAX TREES; LANGUAGE BASED SECURITY; MOBILE CODE SECURITY;

SECURITY OF DATA;

EID: 0242612170     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/844102.844114     Document Type: Conference Paper

References (17)

1. A. Appel; "Foundational proof-carrying code", In Proceedings of the 16th Annual Symposium on Logic in Computer Science, pages 247-256. IEEE Computer Society Press, 2001.
2. J.D. Choi, M. Gupta, M. Serrano, V. C. Sreedhar, and S. Midkiff; "Escape Analysis for Java"; In Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'99), Nov. 1999.
3. C. Colby, P. Lee, G. C. Necula, F. Blau, K. Cline and M. Plesko; "A Certifying Compiler for Java"; In Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI00), Vancouver, British Columbia, Canada, June 18-21, 2000.
4. M. Franz and T. Kistler; "Slim Binaries"; Communications of the ACM, 40:12, pp. 87-94; 1997.
5. T. Kistler and M. Franz; "Automated data-member layout of heap objects to improve memory-hierarchy performance"; in ACM Transactions on Programming Languages and Systems, May 2000.
6. T. Lindholm and F. Yellin: "The Java™ Virtual Machine Specification"; Addison-Wesley, 1999.
7. G. C. Necula; "Proof-Carrying Code"; in Proceedings of the Conference on Principles of Programming Languages, January 1997.
8. G. C. Necula, P. Lee; "The Design and Implementation of a Certifying Compiler"; in Proceedings of the '98 Conference on Programming Language Design and Implementation, Montreal, 1998
9. G. Necula; "A Scalable Architecture for Proof-Carrying Code"; in The Fifth International Symposium on Functional and Logic Programming, Tokyo, March 2001.
10. W. Pugh; "Compressing Java class files"; In Proceedings of ACM/SIGPLAN Conference on Programming Language Design and Implementation (PLDI) '99, May 1999.
11. R. Sekar, C.R. Ramakrishnan, I.V. Ramakrishnan and S. Smolka; "Model-Carrying Code: A New Paradigm for Mobile Code Security"; in New Security Paradigms Workshop, 2001.
12. R. F. Stärk and J. Schmid; "The Problem of Bytecode Verification in Current Implementations of the JVM"; Technical Report, Department of Computer Science, ETH Zürich, 2000.
13. C. Stork, V. Haldar, and M. Franz; "Generic Adaptive Syntax-Directed Compression for Mobile Code"; Technical Report No. 00-42, Department of Information and Computer Science, University of California, Irvine, November 2000.
14. C. Stork, V. Haldar, M. Beers and M. Franz; "Tamper-proof Annotations - by Construction"; Technical Report 02-10, Department of Information and Computer Science, University of California, Irvine, Mar 2002.
15. C. Stork and V. Haldar; "Compressed Abstract Syntax Trees for Mobile Code"; in Workshop on Intermediate Representation Engineering, July 2001.
16. B. Barak, O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, and K. Yang; "On the (Im)possibility of Obfuscating Programs (Extended Abstract)"; in Advances in Cryptology (CRYPTO), 2001
17. Java Optimize and Decompile Environment (JODE); http://jode.sourceforge.net