Sharing in typed module assembly language

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations

Abstract

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.

Original languageEnglish
Title of host publicationTypes in Compilation - Third InternationalWorkshop, TIC 2000 Montreal, Canada, September 21, 2000 Revised Selected Papers
EditorsRobert Harper
Pages85-116
Number of pages32
DOIs
StatePublished - 2001
Event3rd International Workshop on Types in Compilation, TIC 2000 - Montreal, Canada
Duration: 21 Sep 200021 Sep 2000

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2071
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference3rd International Workshop on Types in Compilation, TIC 2000
Country/TerritoryCanada
CityMontreal
Period21/09/0021/09/00

Fingerprint

Dive into the research topics of 'Sharing in typed module assembly language'. Together they form a unique fingerprint.

Cite this