POPL 2019 (series) / PriSC 2019 (series) /
PriSC 2019 Program
This is the PriSC 2019 program - see the full program for POPL 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 13 JanDisplayed time zone: Belfast change
Sun 13 Jan
Displayed time zone: Belfast change
09:00 - 10:30 | |||
09:00 60mTalk | PriSC Keynote - Jasmin: A Compiler and Framework for High-Assurance and High-Speed Cryptography PriSC Benjamin Gregoire INRIA File Attached | ||
10:00 30mTalk | 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 | |||
11:00 30mTalk | 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 30mTalk | 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 30mTalk | Secure Linking in the CheriBSD Operating System PriSC File Attached |
14:00 - 15:30 | |||
14:00 30mTalk | 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 30mTalk | Security Witnesses for Compiler Transformations PriSC File Attached | ||
15:00 30mTalk | 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 30mOther | Short Talks Session PriSC | ||
16:30 30mTalk | Modular Security Guarantees for Low-Level Languages with Stack Traversal PriSC File Attached | ||
17:00 30mTalk | Confidentiality-Preserving Refinement PriSC File Attached | ||
17:30 30mTalk | (Un)Encrypted Computing and Indistinguishability Obfuscation PriSC File Attached |