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

Direct link
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 (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
URN: urn:nbn:se:uu:diva-237725DOI: 10.1145/2554850.2554865ISBN: 978-1-4503-2469-4OAI: oai:DiVA.org:uu-237725DiVA: diva2:768675
Symposium on Applied Computing, SAC 2014. , Gyeongju, Republic of Korea - March 24 - 28, 2014.
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

Search in DiVA

By author/editor
Clarke, Dave
By organisation
Computing Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 147 hits
ReferencesLink to record
Permanent link

Direct link