CryptoDB
Boaz Barak
Publications
Year
Venue
Title
2019
EUROCRYPT
Sum-of-Squares Meets Program Obfuscation, Revisited
Abstract
We develop attacks on the security of variants of pseudo-random generators computed by quadratic polynomials. In particular we give a general condition for breaking the one-way property of mappings where every output is a quadratic polynomial (over the reals) of the input. As a corollary, we break the degree-2 candidates for security assumptions recently proposed for constructing indistinguishability obfuscation by Ananth, Jain and Sahai (ePrint 2018) and Agrawal (ePrint 2018). We present conjectures that would imply our attacks extend to a wider variety of instances, and in particular offer experimental evidence that they break assumption of Lin-Matt (ePrint 2018).Our algorithms use semidefinite programming, and in particular, results on low-rank recovery (Recht, Fazel, Parrilo 2007) and matrix completion (Gross 2009).
2018
EUROCRYPT
Program Committees
- TCC 2013
- TCC 2011
- Crypto 2008
- TCC 2008
- Crypto 2006
- Crypto 2005
- TCC 2005
Coauthors
- Boaz Barak (15)
- Nir Bitansky (1)
- Zvika Brakerski (1)
- Ran Canetti (3)
- Yevgeniy Dodis (1)
- Sanjam Garg (1)
- Sharon Goldberg (1)
- Oded Goldreich (1)
- Iftach Haitner (1)
- Dennis Hofheinz (1)
- Samuel B. Hopkins (1)
- Russell Impagliazzo (1)
- Yuval Ishai (1)
- Aayush Jain (1)
- Yael Tauman Kalai (2)
- Ilan Komargodski (1)
- Pravesh Kothari (1)
- Pravesh K. Kothari (1)
- Hugo Krawczyk (1)
- Yehuda Lindell (2)
- Mohammad Mahmoody (1)
- Mohammad Mahmoody-Ghidary (1)
- Shien Jin Ong (1)
- Omer Paneth (2)
- Rafael Pass (3)
- Olivier Pereira (1)
- Krzysztof Pietrzak (1)
- Tal Rabin (2)
- Steven Rudich (1)
- Amit Sahai (4)
- Ronen Shaltiel (1)
- François-Xavier Standaert (1)
- Eran Tromer (1)
- Salil P. Vadhan (2)
- David Xiao (1)
- Ke Yang (1)
- Yu Yu (1)