Publications

597 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
Attribute-based key exchange with general policies
- - Vladimir Kolesnikov
  - Hugo Krawczyk
  - et al.
- 2016
- CCS 2016
Combining Residue Arithmetic to Design Efficient Cryptographic Circuits and Systems
- - Leonel Sousa
  - Samuel Antão
  - et al.
- 2016
- IEEE Circuits and Systems Magazine
AsyncShock: Exploiting synchronisation bugs in Intel SGX enclaves
- - Nico Weichbrodt
  - Anil Kurmus
  - et al.
- 2016
- ESORICS 2016
Runtime Integrity Checking for Exploit Mitigation on Lightweight Embedded Devices
- - Matthias Neugschwandtner
  - Collin Mulliner
  - et al.
- 2016
- TRUST 2016
IPV: A system for identifying privacy vulnerabilities in datasets
- - Aris Gkoulalas-Divanis
  - Stefano Braghin
- 2016
- IBM J. Res. Dev
The OPTLS protocol and TLS 1.3
- - Hugo Krawczyk
  - Hoeteck Wee
- 2016
- EuroS&P 2016
Candidate indistinguishability obfuscation and functional encryption for all circuits
- - Sanjam Garg
  - Craig Gentry
  - et al.
- 2016
- SIAM Journal on Computing
Most 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
Optimal distributed password verification
- - Jan Camenisch
  - Anja Lehmann
  - et al.
- 2015
- CCS 2015