TY - GEN
T1 - Sharing in typed module assembly language
AU - Duggan, Dominic
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2001.
PY - 2001
Y1 - 2001
N2 - There is a growing need to provide low-overhead software-based protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-carrying code and typed assembly language provide this protection by relying on untrusted compilers to certify the safety properties of machine language programs. Typed Module Assembly Language (TMAL) is an extension of typed assembly language with support for the type-safe manipulation of dynamically linked libraries. A particularly important aspect of TMAL is its support for shared libraries.
AB - There is a growing need to provide low-overhead software-based protection mechanisms to protect against malicious or untrusted code. Type-based approaches such as proof-carrying code and typed assembly language provide this protection by relying on untrusted compilers to certify the safety properties of machine language programs. Typed Module Assembly Language (TMAL) is an extension of typed assembly language with support for the type-safe manipulation of dynamically linked libraries. A particularly important aspect of TMAL is its support for shared libraries.
UR - http://www.scopus.com/inward/record.url?scp=84959043515&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84959043515&partnerID=8YFLogxK
U2 - 10.1007/3-540-45332-6_4
DO - 10.1007/3-540-45332-6_4
M3 - Conference contribution
AN - SCOPUS:84959043515
SN - 3540421963
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 85
EP - 116
BT - Types in Compilation - Third InternationalWorkshop, TIC 2000 Montreal, Canada, September 21, 2000 Revised Selected Papers
A2 - Harper, Robert
T2 - 3rd International Workshop on Types in Compilation, TIC 2000
Y2 - 21 September 2000 through 21 September 2000
ER -