David Naccache, et al.  Home/Search
Context
Related
| gemplus.com/smart/rd/publ...NTTT02ti.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: gemplus.com/smart/rd/publ...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In the Java Virtual Machine, the byte-code veri er checks low-level security properties that ensure that the downloaded code cannot bypass the virtual machine's security mechanisms. One of the statically ensured properties is type safety. The type-inference phase is the overwhelming resource-consuming part of the veri cation process. (Update)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ naccache-reducing,
author = "David Naccache and et al.",
title = "Reducing the Memory Complexity of Type-Inference Algorithms",
url = "citeseer.ist.psu.edu/article/naccache02reducing.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
566 Proof-carrying code - Necula - 1997
292 Advanced Compiler Design and Implementation (context) - Muchnick - 1997
193 Abstract Interpretation: a Uni ed Lattice Model for Static A.. (context) - Cousot, Cousot
120 The Java Virtual Machine Speci cation (context) - Lindholm, Yellin - 1999
44 a Methodology for Language Development (context) - Schmidt, Semantics - 1986
21 The PACAP prototype: a tool for detecting java card illegal .. - Bieber, Cazin et al. - 2001
13 Java Byte-Code Veri cation: an Overview (context) - Leroy - 2001
11 Card Byte-code Veri cation for Java card - Leroy - 2001
6 Bytecode Veri cation for Java smart card (context) - Leroy - 2002
Documents on the same site (http://www.gemplus.com/smart/rd/publications/index.html): More
Externalized Fingerprint Matching - Barral, Coron, Naccache (2004) (Correct)
Statistics and Secret Leakage - Coron, Naccache, Kocher (2004) (Correct)
User Authentication with Smart Cards in Trusted Computing.. - George (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC