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 low-level isolation mechanisms
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
2014 (English)In: Symposium on Applied Computing, SAC 2014. / [ed] Yookun Cho, Sung Y. Shin, Sang-Wook Kim, Chih-Cheng Hung, Jiman Hong, ACM Press, 2014, 1562-1569 p.Conference paper, Published paper (Refereed)
Abstract [en]

Many software systems adopt isolation mechanisms of modernprocessors as software security building blocks. Reasoningabout these building blocks means reasoning aboutelaborate assembly code, which can be very complex due tothe loose structure of the code. A way to overcome this complexityis giving the code a more structured semantics. Thispaper presents one such semantics, namely a fully abstracttrace semantics, for an assembly language enhanced withprotection mechanisms of modern processors. The trace semanticsrepresents the behaviour of protected assembly codewith simple abstractions, unburdened by low-level details, atthe maximum degree of precision. Additionally, it capturesthe capabilities of attackers to protected software and simplifiesproviding a secure compiler targeting that language.

Place, publisher, year, edition, pages
ACM Press, 2014. 1562-1569 p.
National Category
Computer Science
Identifiers
URN: urn:nbn:se:uu:diva-237725DOI: 10.1145/2554850.2554865ISBN: 978-1-4503-2469-4 (print)OAI: oai:DiVA.org:uu-237725DiVA: diva2:768675
Conference
Symposium on Applied Computing, SAC 2014. , Gyeongju, Republic of Korea - March 24 - 28, 2014.
Projects
UPMARC
Available from: 2014-12-04 Created: 2014-12-04 Last updated: 2014-12-17

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
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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