Secure Sorting and Selection via Function Secret Sharing by Agarwal, Amit, Boyle, Elette, Chandran, Nishanth, Gilboa, Niv, Gupta, Divya, Ishai, Yuval, Kelkar, Mahimna, Ma, Yiping

Get full text

Specification and Verification of Strong Timing Isolation of Hardware Enclaves by Lau, Stella, Bourgeat, Thomas, Pit-Claudel, Cl?ment, Chlipala, Adam

Get full text

Exploiting Temporal Vulnerabilities for Unauthorized Access in Intent-based Networking by Weintraub, Ben, Kim, Jiwon, Tao, Ran, Nita-Rotaru, Cristina, Okhravi, Hamed, Tian, Dave (Jing), Ujcich, Benjamin

Get full text

Formal Privacy Proof of Data Encoding: The Possibility and Impossibility of Learnable Encryption by Xiao, Hanshen, Suh, G. Edward, Devadas, Srinivas

Get full text

High-Throughput Three-Party DPFs with Applications to ORAM and Digital Currencies by Zyskind, Guy, Yanai, Avishay, Pentland, Alex

Get full text

Manipulative Interference Attacks by Mergendahl, Samuel, Fickas, Stephen, Norris, Boyana, Skowyra, Richard

Get full text

Graphical vs. Deep Generative Models: Measuring the Impact of Differentially Private Mechanisms and Budgets on Utility by Ganev, Georgi, Xu, Kai, De Cristofaro, Emiliano

Get full text