PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Wed 26 Jun 2024 16:00 - 16:20 at Finland / Norway - Security and Cryptography Chair(s): Klaus v. Gleissenthall

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