Foundational Integration Verification of a Cryptographic Server (PLDI 2024 - PLDI Research Papers)

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

Andres Erbsen, Jade Philipoom, Dustin Jamner, Ashley Lin, Samuel Gruetter, Clément Pit-Claudel, Adam Chlipala

Track

PLDI 2024 PLDI Research Papers

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Wed 26 Jun 2024 17:00 - 17:20 at Finland / Norway - Security and Cryptography

DOI

https://doi.org/10.1145/3656446

Andres Erbsen

Google

Jade Philipoom

Google, Germany

Dustin Jamner

MIT CSAIL

Ashley Lin

Massachusetts Institute of Technology

Samuel Gruetter

Massachusetts Institute of Technology

Clément Pit-Claudel

EPFL

United States

Adam Chlipala

Massachusetts Institute of Technology

United States

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Wed 26 Jun
Displayed time zone: Windhoek change

16:00 - 17:20	Security and CryptographyPLDI Research Papers at Finland / Norway

16:00 20m Talk		A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption PLDI Research Papers Nikola Samardzic Massachusetts Institute of Technology, Aleksandar Krastev Massachusetts Institute of Technology, Simon Langowski Massachusetts Institute of Technology, Srinivas Devadas Massachusetts Institute of Technology, Daniel Sanchez MIT DOI
16:20 20m Talk		Quantitative Robustness for Vulnerability Assessment PLDI Research Papers Guillaume Girol CEA, List, Université Paris Saclay, Guilhem Lacombe CEA LIST and Université Paris-Saclay, Sébastien Bardin CEA LIST, University Paris-Saclay DOI
16:40 20m Talk		Quest Complete: The Holy Grail of Gradual Security PLDI Research Papers Tianyu Chen Indiana University, Jeremy G. Siek Indiana University, USA DOI
17:00 20m Talk		Foundational Integration Verification of a Cryptographic Server PLDI Research Papers Andres Erbsen Google, Jade Philipoom Google, Germany, Dustin Jamner MIT CSAIL, Ashley Lin Massachusetts Institute of Technology, Samuel Gruetter Massachusetts Institute of Technology, Clément Pit-Claudel EPFL, Adam Chlipala Massachusetts Institute of Technology DOI