PLDI 2024 (series) / PLDI Research Papers /
Foundational Integration Verification of a Cryptographic Server
Wed 26 Jun 2024 17:00 - 17:20 at Finland / Norway - Security and Cryptography Chair(s): Klaus v. Gleissenthall
Wed 26 JunDisplayed time zone: Windhoek change
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 20mTalk | 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 20mTalk | 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 20mTalk | Quest Complete: The Holy Grail of Gradual Security PLDI Research Papers DOI Pre-print | ||
17:00 20mTalk | 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 | ||