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): David Naumann, Aslan Askarov

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

Displayed time zone: Belfast change

16:00 - 18:00
Session 4PriSC at Sala VI
Chair(s): David Naumann Stevens Institute of Technology, Aslan Askarov Aarhus University
16:00
30m
Other
Short Talks Session
PriSC

16:30
30m
Talk
Modular Security Guarantees for Low-Level Languages with Stack Traversal
PriSC
Mathias Vorreiter Pedersen Aarhus University, Aslan Askarov Aarhus University
File Attached
17:00
30m
Talk
Confidentiality-Preserving Refinement
PriSC
File Attached
17:30
30m
Talk
(Un)Encrypted Computing and Indistinguishability Obfuscation
PriSC
Peter Breuer Hecusys LLC, Jonathan Bowen London South Bank University
File Attached