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
Fully abstract trace semantics for protected module architectures
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
2015 (English)In: Computer languages, systems & structures, ISSN 1477-8424, E-ISSN 1873-6866, Vol. 42, 22-45 p.Article in journal (Refereed) Published
Abstract [en]

Protected module architectures (PMAs) are isolation mechanisms of emerging processors that provide security building blocks for modern software systems. Reasoning about these building blocks means reasoning about elaborate assembly code, which can be very complex due to the loose structure of the code. One way to overcome this complexity is providing the code with a well-structured semantics. This paper presents one such semantics, namely a fully abstract trace semantics, for an assembly language enhanced with PMA. The trace semantics represents the behaviour of protected assembly code with simple abstractions, unburdened by low-level details, at the maximum degree of precision. Furthermore, it captures the capabilities of attackers to protected code and simplifies the formulation of a secure compiler targeting PMA-enhanced assembly language.

Place, publisher, year, edition, pages
2015. Vol. 42, 22-45 p.
Keyword [en]
Fully abstract semantics, Trace semantics, Untyped assembly language, Protected modules architectures, Formal languages
National Category
Computer Science
Identifiers
URN: urn:nbn:se:uu:diva-260865DOI: 10.1016/j.cl.2015.03.002ISI: 000358470200003OAI: oai:DiVA.org:uu-260865DiVA: diva2:848771
Available from: 2015-08-26 Created: 2015-08-25 Last updated: 2017-12-04Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Clarke, Dave

Search in DiVA

By author/editor
Clarke, Dave
By organisation
Computing Science
In the same journal
Computer languages, systems & structures
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 424 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