1 Search Results for "Fellmuth, Joachim"


Document
Instruction Caches in Static WCET Analysis of Artificially Diversified Software

Authors: Joachim Fellmuth, Thomas Göthel, and Sabine Glesner

Published in: LIPIcs, Volume 106, 30th Euromicro Conference on Real-Time Systems (ECRTS 2018)


Abstract
Artificial Software Diversity is a well-established method to increase security of computer systems by thwarting code-reuse attacks, which is particularly beneficial in safety-critical real-time systems. However, static worst-case execution time (WCET) analysis on complex hardware involving caches only delivers sound results for single versions of the program, as it relies on absolute addresses for all instructions. To overcome this problem, we present an abstract interpretation based instruction cache analysis that provides a safe yet precise upper bound for the execution of all variants of a program. We achieve this by integrating uncertainties in the absolute and relative positioning of code fragments when updating the abstract cache state during the analysis. We demonstrate the effectiveness of our approach in an in-depth evaluation and provide an overview of the impact of different diversity techniques on the WCET estimations.

Cite as

Joachim Fellmuth, Thomas Göthel, and Sabine Glesner. Instruction Caches in Static WCET Analysis of Artificially Diversified Software. In 30th Euromicro Conference on Real-Time Systems (ECRTS 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 106, pp. 21:1-21:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@InProceedings{fellmuth_et_al:LIPIcs.ECRTS.2018.21,
  author =	{Fellmuth, Joachim and G\"{o}thel, Thomas and Glesner, Sabine},
  title =	{{Instruction Caches in Static WCET Analysis of Artificially Diversified Software}},
  booktitle =	{30th Euromicro Conference on Real-Time Systems (ECRTS 2018)},
  pages =	{21:1--21:23},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-075-0},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{106},
  editor =	{Altmeyer, Sebastian},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.21},
  URN =		{urn:nbn:de:0030-drops-89822},
  doi =		{10.4230/LIPIcs.ECRTS.2018.21},
  annote =	{Keywords: WCET, static analysis, abstract interpretation, artificial diversity, cache analysis}
}
  • Refine by Author
  • 1 Fellmuth, Joachim
  • 1 Glesner, Sabine
  • 1 Göthel, Thomas

  • Refine by Classification
  • 1 Software and its engineering → Real-time systems software

  • Refine by Keyword
  • 1 WCET
  • 1 abstract interpretation
  • 1 artificial diversity
  • 1 cache analysis
  • 1 static analysis

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2018

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail