An approach to the generation of high-assurance Java Card applets

An approach to the generation of high-assurance Java Card applets (2002)

Cached

Download Links

by Alessandro Coglio

Venue:

In Proc. 2nd NSA Conference on High Con Software and Systems (HCSS'02

BibTeX

@INPROCEEDINGS{Coglio02anapproach,
    author = {Alessandro Coglio},
    title = {An approach to the generation of high-assurance Java Card applets},
    booktitle = {In Proc. 2nd NSA Conference on High Con Software and Systems (HCSS'02},
    year = {2002},
    pages = {69--77}
}

Bookmark

OpenURL

Abstract

Citations

41	Smart Card Handbook - Rankl, Effing - 2003
34	Towards a provably-correct implementation of the JVM bytecode verifier - Coglio, Goldberg, et al. - 1998
27	A Formal Specification of Java Class Loading - Qian, Goldberg, et al. - 2000
15	Westfold: Planware – Domain-Specific Synthesis of High-Performance Schedulers - Blaine, Gilham, et al. - 1998
15	Simple verification technique for complex Java bytecode subroutines, Concurrency and Computation: Practice and Experience 16 - Coglio - 2004
11	Java Card (tm) Technology for Smart Cards - Chen
8	Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions. Concurrency and Computation: Practice and Experience 13 - COGLIO, GOLDBERG
8	Improving the official specification of Java bytecode verification, Concurrency and Computation: Practice and Experience 15(2 - Coglio - 2003
5	Planware: Domain-speci synthesis of high-performance schedulers - Blaine, Gilham, et al. - 1998
2	Improving the ocial speci of Java bytecode veri - Coglio - 2001
2	Simple veri technique for complex Java bytecode subroutines - Coglio - 2001
1	A formal speci cation of Java class loading - Qian, Goldberg, et al. - 2000