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

This presentation first describes an `obfuscating’ compiler technology developed for encrypted computing, then examines if the trivial case without encryption produces much-sought indistinguishability obfuscation.

Presentation (PriSC2019.pdf)6.14MiB

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