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
Times are displayed in time zone: Greenwich Mean Time : Belfast change

16:00 - 18:00: Session 4PriSC at Sala VI
Chair(s): Aslan AskarovAarhus University, David NaumannStevens Institute of Technology
16:00 - 16:30
Other
Short Talks Session
PriSC
16:30 - 17:00
Talk
Modular Security Guarantees for Low-Level Languages with Stack Traversal
PriSC
Mathias Vorreiter PedersenAarhus University, Aslan AskarovAarhus University
File Attached
17:00 - 17:30
Talk
Confidentiality-Preserving Refinement
PriSC
File Attached
17:30 - 18:00
Talk
(Un)Encrypted Computing and Indistinguishability Obfuscation
PriSC
Peter BreuerHecusys LLC, Jonathan BowenLondon South Bank University
File Attached