uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Implementing a secure abstract machine
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
2016 (English)In: Proc. 31st ACM Symposium on Applied Computing, New York: ACM Press, 2016, 2041-2048 p.Conference paper, Published paper (Refereed)
Abstract [en]

Abstract machines are both theoretical models used to study language properties and practical models of language implementations. As with all language implementations, abstract machines are subject to security violations by the context in which they reside. This paper presents the implementation of an abstract machine for ML that preserves the abstractions of ML, in possibly malicious, low-level contexts. To guarantee this security result, we make use of a low-level memory isolation mechanism and derive the formalisation of the machine through a methodology, whose every step is accompanied by formal properties that ensure that the step has been carried out properly. We provide an implementation of the abstract machine and analyse its performance.

Place, publisher, year, edition, pages
New York: ACM Press, 2016. 2041-2048 p.
National Category
Computer Science
Identifiers
URN: urn:nbn:se:uu:diva-283165DOI: 10.1145/2851613.2851796ISBN: 978-1-4503-3739-7 (print)OAI: oai:DiVA.org:uu-283165DiVA: diva2:918688
Conference
SAC 2016, April 4–8, Pisa, Italy
Projects
ProFuN
Available from: 2016-04-11 Created: 2016-04-11 Last updated: 2016-04-11

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Larmuseau, AdriaanClarke, Dave

Search in DiVA

By author/editor
Larmuseau, AdriaanClarke, Dave
By organisation
Computing Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 190 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf