Optimization of bootstrapping in circuits
- Fabrice Benhamouda
- T. Lepoint
- et al.
- 2017
- SODA 2017
Conference paper
Publications
708 results for Security
A unilateral-to-mutual authentication compiler for key exchange (with applications to client authentication in TLS 1.3)
- Hugo Krawczy
- 2016
- CCS 2016
Conference paperAttribute-based key exchange with general policies
- Vladimir Kolesnikov
- Hugo Krawczyk
- et al.
- 2016
- CCS 2016
Conference paperCombining Residue Arithmetic to Design Efficient Cryptographic Circuits and Systems
- Leonel Sousa
- Samuel Antão
- et al.
- 2016
- IEEE Circuits and Systems Magazine
PaperAsyncShock: Exploiting synchronisation bugs in Intel SGX enclaves
- Nico Weichbrodt
- Anil Kurmus
- et al.
- 2016
- ESORICS 2016
Conference paperRuntime Integrity Checking for Exploit Mitigation on Lightweight Embedded Devices
- Matthias Neugschwandtner
- Collin Mulliner
- et al.
- 2016
- TRUST 2016
Conference paperIPV: A system for identifying privacy vulnerabilities in datasets
- Aris Gkoulalas-Divanis
- Stefano Braghin
- 2016
- IBM J. Res. Dev
PaperThe OPTLS protocol and TLS 1.3
- Hugo Krawczyk
- Hoeteck Wee
- 2016
- EuroS&P 2016
Conference paperCandidate indistinguishability obfuscation and functional encryption for all circuits
- Sanjam Garg
- Craig Gentry
- et al.
- 2016
- SIAM Journal on Computing
PaperMost Probable Paths to Data Loss: An Efficient Method for Reliability Evaluation of Data Storage Systems
- Ilias Iliadis
- Vinodh Venkatesan
- 2015
- International Journal on Advances in Systems and Measurements
Paper