Nils Maltesson, et al.  Home/Search
Context
Related
| gemplus.com/smart/r_d/pub...MNTT03av.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/r_d/pub...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: While bringing considerable flexibility and extending the horizons of mobile computing, mobile code raises major security issues. Hence, mobile code, such as Java applets, needs... (Update)
Active bibliography (related documents): More All
1.1: Applet Verification Strategies for RAM-Constrained Devices - Maltesson (2003) (Correct)
0.4: Reducing the Memory Complexity of Type-Inference Algorithms - Naccache, al. (2002) (Correct)
0.2: Java Bytecode Verification: An Overview - Leroy (2001) (Correct)
Similar documents based on text: More All
0.2: Cut-&-Paste Attacks with JAVA - Lefranc, Naccache (2003) (Correct)
0.2: Improved Techniques for Fast Exponentiation - Möller (2002) (Correct)
0.1: Cv - Neven (Correct)
BibTeX entry: (Update)
@misc{ maltesson-applet,
author = "Nils Maltesson et al.",
title = "Applet Verification Strategies for {RAM}-Constrained Devices",
url = "citeseer.ist.psu.edu/article/maltesson03applet.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
80 Worst-case performance bounds for simple one-dimensional pac.. (context) - Johnson, Demers et al. - 1974
44 a Methodology for Language Development (context) - Schmidt, Semantics - 1986
40 Java Card Technology for Smart Cards: Architecture and Progr.. (context) - Chen - 2000
30 New algorithms for bin packing (context) - Yao - 1980
21 The PACAP prototype: a tool for detecting java card illegal .. - Bieber, Cazin et al. - 2001
16 Bin packing can be solved within 1+ in linear time (context) - Vega, Lueker - 1981
13 Java Byte-Code Veri cation: an Overview (context) - Leroy - 2001
11 Card Byte-code Veri cation for Java card - Leroy - 2001
10 The defensive Java virtual machine speci cation (context) - Cohen - 1997
6 Bytecode Veri cation for Java smart card (context) - Leroy - 2002
5 Felten Securiy Java (context) - McGraw - 1999
3 A new proof for the rst- t decreasing bin-packing algorithm (context) - Baker - 1981
Documents on the same site (http://www.gemplus.com/smart/r_d/publications/index.html): More
Formal Implementation of a Verification Algorithm using the B.. - Casset (2001) (Correct)
Formal Development of an Embedded Verifier for Java Card.. - Casset, Burdy, Requet (2002) (Correct)
Construction Correcte de Logiciels pour Carte a Puce - Casset (2002) (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