Quantitative Robustness for Vulnerability Assessment (PLDI 2024 - PLDI Research Papers) - PLDI 2024

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

Guillaume Girol, Guilhem Lacombe, Sébastien Bardin

Track

PLDI 2024 PLDI Research Papers

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

When

Wed 26 Jun 2024 16:20 - 16:40 at Finland / Norway - Security and Cryptography Chair(s): Klaus v. Gleissenthall

DOI

https://doi.org/10.1145/3656407

Guillaume Girol

CEA, List, Université Paris Saclay

Guilhem Lacombe

CEA LIST and Université Paris-Saclay

Sébastien Bardin

CEA LIST, University Paris-Saclay

France

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

Session Program

Wed 26 Jun
Displayed time zone: Windhoek change

	16:00 - 17:20	Security and CryptographyPLDI Research Papers at Finland / Norway Chair(s): Klaus v. Gleissenthall Vrije Universiteit Amsterdam, Netherlands

	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 Pre-print
	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