SafeTSA: a type safe and referentially secure mobile-code representation based on Static Single Assignment form (2001)
Cached
Download Links
- [www.cs.utsa.edu]
- [www.cs.ucsb.edu]
- [www.cs.ucsb.edu]
- [www.ics.uci.edu]
- DBLP
Other Repositories/Bibliography
| Citations: | 72 - 35 self |
BibTeX
@INPROCEEDINGS{Amme01safetsa:a,
author = {Wolfram Amme},
title = {SafeTSA: a type safe and referentially secure mobile-code representation based on Static Single Assignment form},
booktitle = {},
year = {2001},
pages = {137--147},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We introduce SafeTSA, a type-safe mobile code representation based on static single assignment form. We are developing SafeTSA as an alternative to the Java Virtual Machine, over which it has several advantages: (1) SafeTSA is better suited as input to optimizing dynamic code generators and allows CSE to be performed at the code producer’s site. (2) SafeTSA provides incorruptible referential integrity and uses “type separation ” to achieve intrinsic type safety. These properties reduce the code verification effort at the code consumer’s site considerably. (3) SafeTSA can transport the results of type and bounds-check elimination in a tamper-proof manner. Despite these advantages, SafeTSA is more compact than Java bytecode. 1.
Citations
No citations identified.
