Language-based control and mitigation of timing channels

Danfeng Zhang, Aslan Askarov, Andrew C. Myers

Research output: Contribution to journalArticlepeer-review

34 Scopus citations

Abstract

We propose a new language-based approach to mitigating timing channels. In this language, well-Typed programs provably leak only a bounded amount of information over time through external timing channels. By incorporating mechanisms for predictive mitigation of timing channels, this approach also permits a more expressive programming model. Timing channels arising from interaction with underlying hardware features such as instruction caches are controlled. Assumptions about the underlying hardware are explicitly formalized, supporting the design of hardware that efficiently controls timing channels. One such hardware design is modeled and used to show that timing channels can be controlled in some simple programs of real-world significance.

Original languageEnglish (US)
Pages (from-to)99-109
Number of pages11
JournalACM SIGPLAN Notices
Volume47
Issue number6
DOIs
StatePublished - Aug 1 2012

All Science Journal Classification (ASJC) codes

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Language-based control and mitigation of timing channels'. Together they form a unique fingerprint.

Cite this