2005
DOI: 10.1016/j.entcs.2005.02.027
|View full text |Cite
|
Sign up to set email alerts
|

A Space-Aware Bytecode Verifier for Java Cards

Abstract: The bytecode verification is a key point of the security chain of the Java Platform. This feature is optional in many embedded devices since the memory requirements of the verification process are too high. In this paper we propose a verification algorithm that remarkably reduces the use of the memory by performing the verification during multiple specialized passes. The algorithm reduces the type encoding space by operating on different abstractions of the domain of types. The results of the experiments show … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2006
2006
2006
2006

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(1 citation statement)
references
References 9 publications
(4 reference statements)
0
1
0
Order By: Relevance
“…In [15], an approach that reduces the use of memory by performing the verification during multiple specialized passes is presented. Each pass is dedicated to a single type.…”
Section: Related Workmentioning
confidence: 99%
“…In [15], an approach that reduces the use of memory by performing the verification during multiple specialized passes is presented. Each pass is dedicated to a single type.…”
Section: Related Workmentioning
confidence: 99%