POPL 2023 (series) / PriSC 2023 (series) /
PriSC 2023 Program
This is the PriSC 2023 program - see the full program for POPL 2023 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 21 JanDisplayed time zone: Eastern Time (US & Canada) change
Sat 21 Jan
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 10:30 | |||
09:00 5mDay opening | Introduction PriSC | ||
09:05 60mKeynote | Semantic Intermediate Representations for Sound Language Interoperability PriSC Amal Ahmed Northeastern University, USA Pre-print | ||
10:05 25mTalk | Towards End-to-End Verified TEEs via Verified Interface Conformance and Interface-Preserving Compilers PriSC Farzaneh Derakhshan Carnegie Mellon University, Zichao Zhang Carnegie Mellon University, Amit Vasudevan Carnegie Mellon University, Limin Jia Carnegie Mellon University File Attached |
11:00 - 12:30 | |||
11:00 25mTalk | Automated Learning and Verification of Embedded Security Architectures PriSC Matteo Busi University Ca' Foscari, Venice, Riccardo Focardi University Ca' Foscari, Venice, Flaminia L. Luccio University Ca' Foscari, Venice File Attached | ||
11:25 25mTalk | pi_RA: A pi-calculus for verifying protocols that use remote attestation PriSC File Attached | ||
11:50 25mTalk | Robust Constant-Time Cryptography PriSC Matthew Kolosick University of California at San Diego, Basavesh Ammanaghatta Shivakumar Max Planck Institute for Security and Privacy (MPI-SP), Sunjay Cauligi University of California at San Diego, USA, Marco Patrignani University of Trento, Marco Vassena Utrecht University, Ranjit Jhala University of California at San Diego, Deian Stefan University of California at San Diego Pre-print | ||
12:15 15mTalk | Short Talk: Generalising secure compilation criteria PriSC Emiel Lanckriet KU Leuven |
14:00 - 15:30 | |||
14:00 25mTalk | Blame-Preserving Secure Compilation PriSC Marco Patrignani University of Trento, Matthis Kruse CISPA Helmholtz Center for Information Security Pre-print | ||
14:25 25mTalk | Securely Compiling F* Programs With IO and Then Linking Them Against Weakly-Typed InterfacesRecorded PriSC Pre-print File Attached | ||
14:50 25mTalk | SECOMP2CHERI: Securely Compiling Compartments from CompCert C to a Capability Machine PriSC Jérémy Thibault MPI-SP, Arthur Azevedo de Amorim Boston University, Roberto Blanco MPI-SP, Aina Linn Georges Aarhus University, Cătălin Hriţcu MPI-SP, Andrew Tolmach Portland State University Pre-print Media Attached File Attached |
16:00 - 17:30 | |||
16:00 25mTalk | Cachet: A Domain-Specific Language for Trustworthy Just-In-Time Compilers PriSC Michael Smith UC San Diego, Abhishek Sharma UC San Diego, John Renner University of California at San Diego, USA, David Thien UC San Diego, Sorin Lerner University of California at San Diego, Fraser Brown CMU, Hovav Shacham University of Texas at Austin, Deian Stefan University of California at San Diego File Attached | ||
16:25 25mTalk | FaJITa: Verifying Optimizations on Just-In-Time Programs PriSC David Thien UC San Diego, Michael Smith UC San Diego, Evan Johnson University of California at San Diego; Arm, Sorin Lerner University of California at San Diego, Hovav Shacham University of Texas at Austin, Deian Stefan University of California at San Diego, Fraser Brown CMU Pre-print File Attached | ||
16:50 25mTalk | Universally Composable Security for Program Partitioning PriSC Coşku Acay Cornell University, Joshua Gancher Carnegie Mellon University, Rolph Recto Cornell University, Andrew Myers Cornell University File Attached |