Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
POPL 2019 (series) / Hotel Cascais Miragem /

Room information: Sala VI

VenueHotel Cascais Miragem
Room nameSala VI
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 13 Jan

Displayed time zone: Belfast change

09:00 - 10:30
Session 1PriSC at Sala VI
Chair(s): Deepak Garg Max Planck Institute for Software Systems
09:00
60m
Talk
PriSC Keynote - Jasmin: A Compiler and Framework for High-Assurance and High-Speed Cryptography
PriSC
Benjamin Gregoire INRIA
File Attached
10:00
30m
Talk
Towards Secure Compilation of Power Side-Channel Countermeasures
PriSC
Marc Gourjon Hamburg University of Technology and NXP Semiconductors Germany GmbH
File Attached
11:00 - 12:30
Session 2PriSC at Sala VI
Chair(s): Dominique Devriese Vrije Universiteit Brussel, Belgium
11:00
30m
Talk
Trestle: Bridging the Performance and Safety Divide in WebAssembly
PriSC
Craig Disselkoen University of California San Diego, Tal Garfinkel Stanford University, Deian Stefan University of California San Diego, Conrad Watt University of Cambridge
File Attached
11:30
30m
Talk
Protecting C++ Applications Using CHERI
PriSC
Khilan Gudka University of Cambridge, Alexander Richardson University of Cambridge, Robert N. M. Watson University of Cambridge
File Attached
12:00
30m
Talk
Secure Linking in the CheriBSD Operating System
PriSC
Alexander Richardson University of Cambridge, Robert N. M. Watson University of Cambridge
File Attached
14:00 - 15:30
Session 3PriSC at Sala VI
Chair(s): Chung-Kil Hur Seoul National University
14:00
30m
Talk
Translation Validation for Security Properties
PriSC
Matteo Busi Università di Pisa - Dipartimento di Informatica, Pierpaolo Degano Università di Pisa - Dipartimento di Informatica, Letterio Galletta IMT School for Advanced Studies
Pre-print File Attached
14:30
30m
Talk
Security Witnesses for Compiler Transformations
PriSC
Kedar Namjoshi Bell Labs, Nokia, Lucas M. Tabajara Rice University
File Attached
15:00
30m
Talk
A Data Layout Description Language for Cogent
PriSC
Zilin Chen Data61, CSIRO and UNSW, Matthew Di Meglio UNSW, Liam O'Connor UNSW, Partha Susarla Data61, CSIRO, Christine Rizkallah UNSW, Gabriele Keller Utrecht University
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
Roberto Guanciale KTH, Christoph Baumann KTH, Mads Dam KTH, Hamed Nemati CISPA
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

Sun 13 Jan

Displayed time zone: Belfast change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sala VI

PriSC

Session 1

PriSC

Session 2

PriSC

Session 3

PriSC

Session 4

Sun 13 Jan

Displayed time zone: Belfast change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Sala VI
PriSC
PriSC Keynote - Jasmin: A Compiler and Framework for High-Assurance and ...
09:00 - 10:00
PriSC
Towards Secure Compilation of Power Side-Channel Countermeasures
10:00 - 10:30
PriSC
Trestle: Bridging the Performance and Safety Divide in WebAssembly
11:00 - 11:30
PriSC
Protecting C++ Applications Using CHERI
11:30 - 12:00
PriSC
Secure Linking in the CheriBSD Operating System
12:00 - 12:30
PriSC
Translation Validation for Security Properties
14:00 - 14:30
PriSC
Security Witnesses for Compiler Transformations
14:30 - 15:00
PriSC
A Data Layout Description Language for Cogent
15:00 - 15:30
PriSC
Short Talks Session
16:00 - 16:30
PriSC
Modular Security Guarantees for Low-Level Languages with Stack Traversal
16:30 - 17:00
PriSC
Confidentiality-Preserving Refinement
17:00 - 17:30
PriSC
(Un)Encrypted Computing and Indistinguishability Obfuscation
17:30 - 18:00