LAFI 2023
Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States
co-located with POPL 2023
VenueBoston Park Plaza
Room namePark
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

Mon 16 Jan

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Tutorials 2APOPL TutorialFest at Park
09:00
90m
Tutorial
Isabelle/HOL: Foundations, Induction, and Coinduction
POPL TutorialFest
Andrei Popescu University of Sheffield, Dmitriy Traytel University of Copenhagen
11:00 - 12:30
Tutorials 2BPOPL TutorialFest at Park
11:00
90m
Tutorial
Isabelle/HOL: Foundations, Induction, and Coinduction
POPL TutorialFest
Andrei Popescu University of Sheffield, Dmitriy Traytel University of Copenhagen
14:00 - 15:30
Tutorials 6APOPL TutorialFest at Park
14:00
90m
Tutorial
Using a Proof Assistant to Teach PL Theory, Without the Overhead
POPL TutorialFest
Jonathan Aldrich Carnegie Mellon University, John Boyland Univeristy of Wisconsin, Milwaukee
16:00 - 17:30
Tutorials 6BPOPL TutorialFest at Park
16:00
90m
Tutorial
Using a Proof Assistant to Teach PL Theory, Without the Overhead
POPL TutorialFest
Jonathan Aldrich Carnegie Mellon University, John Boyland Univeristy of Wisconsin, Milwaukee

Sat 21 Jan

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Session 1PriSC at Park
Chair(s): Marco Guarnieri IMDEA Software Institute
09:00
5m
Day opening
Introduction
PriSC

09:05
60m
Keynote
Semantic Intermediate Representations for Sound Language Interoperability
PriSC
Amal Ahmed Northeastern University, USA
Pre-print
10:05
25m
Talk
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
Session 2PriSC at Park
Chair(s): Cătălin Hriţcu MPI-SP
11:00
25m
Talk
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
25m
Talk
pi_RA: A pi-calculus for verifying protocols that use remote attestation
PriSC
Emiel Lanckriet KU Leuven, Matteo Busi University Ca' Foscari, Venice, Dominique Devriese KU Leuven
File Attached
11:50
25m
Talk
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
15m
Talk
Short Talk: Generalising secure compilation criteria
PriSC
Emiel Lanckriet KU Leuven
16:00 - 17:30
Session 4PriSC at Park
Chair(s): Matteo Busi University Ca' Foscari, Venice
16:00
25m
Talk
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
25m
Talk
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
25m
Talk
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

Mon 16 Jan

Displayed time zone: Eastern Time (US & Canada) change

Sat 21 Jan

Displayed time zone: Eastern Time (US & Canada) change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Park

Mon 16 Jan

Displayed time zone: Eastern Time (US & Canada) change