Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
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

Conference Day
Sun 13 Jan

Displayed time zone: Belfast change

09:00 - 10:30
Session 1PriSC at Sala VI
Chair(s): Deepak GargMax Planck Institute for Software Systems
09:00
60m
Talk
PriSC Keynote - Jasmin: A Compiler and Framework for High-Assurance and High-Speed Cryptography
PriSC
File Attached
10:00
30m
Talk
Towards Secure Compilation of Power Side-Channel Countermeasures
PriSC
Marc GourjonHamburg University of Technology and NXP Semiconductors Germany GmbH
File Attached
11:00 - 12:30
Session 2PriSC at Sala VI
Chair(s): Dominique DevrieseVrije Universiteit Brussel, Belgium
11:00
30m
Talk
Trestle: Bridging the Performance and Safety Divide in WebAssembly
PriSC
Craig DisselkoenUniversity of California San Diego, Tal GarfinkelStanford University, Deian StefanUniversity of California San Diego, Conrad WattUniversity of Cambridge
File Attached
11:30
30m
Talk
Protecting C++ Applications Using CHERI
PriSC
Khilan GudkaUniversity of Cambridge, Alexander RichardsonUniversity of Cambridge, Robert N. M. WatsonUniversity of Cambridge
File Attached
12:00
30m
Talk
Secure Linking in the CheriBSD Operating System
PriSC
Alexander RichardsonUniversity of Cambridge, Robert N. M. WatsonUniversity of Cambridge
File Attached
14:00 - 15:30
Session 3PriSC at Sala VI
Chair(s): Chung-Kil HurSeoul National University
14:00
30m
Talk
Translation Validation for Security Properties
PriSC
Matteo BusiUniversità di Pisa - Dipartimento di Informatica, Pierpaolo DeganoUniversità di Pisa - Dipartimento di Informatica, Letterio GallettaIMT School for Advanced Studies
Pre-print File Attached
14:30
30m
Talk
Security Witnesses for Compiler Transformations
PriSC
Kedar NamjoshiBell Labs, Nokia, Lucas M. TabajaraRice University
File Attached
15:00
30m
Talk
A Data Layout Description Language for Cogent
PriSC
Zilin ChenData61, CSIRO and UNSW, Matthew Di MeglioUNSW, Liam O'ConnorUNSW, Partha SusarlaData61, CSIRO, Christine RizkallahUNSW, Gabriele KellerUtrecht University

Conference Day
Sun 13 Jan

Displayed time zone: Belfast change

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