Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Sun 13 Jan 2019 16:30 - 17:00 at Sala VI - Session 4 Chair(s): Aslan Askarov, David Naumann

Previous work on timing attacks mounted by garbage collectors by Pedersen and Askarov demonstrates that garbage collectors form a shared resource that can reliably be exploited to leak secrets of arbitrary sizes. In this work, we show how to modify existing garbage collection algorithms such that no information is leaked through timing channels. We do this by designing an information-flow aware programming language with sufficient expressivity to implement common low-level paradigms useful for garbage collection, and prove that well-typed programs in this language satisfies a version of noninterference.

Presentation (prisc-2019.pdf)4.76MiB

Sun 13 Jan

prisc-2019
16:00 - 18:00: PriSC 2019 - Session 4 at Sala VI
Chair(s): Aslan AskarovAarhus University, David NaumannStevens Institute of Technology
prisc-201916:00 - 16:30
Other
prisc-201916:30 - 17:00
Talk
Mathias Vorreiter PedersenAarhus University, Aslan AskarovAarhus University
File Attached
prisc-201917:00 - 17:30
Talk
File Attached
prisc-201917:30 - 18:00
Talk
Peter BreuerHecusys LLC, Jonathan BowenLondon South Bank University
File Attached