|
|
Noah Golowich: On the Power of Multiple Anonymous Messages Wednesday, December 18, 2019 - 2:00pm to 3:00pm Abstract: |
|
|
Muthu Venkitasubramaniam: A Round-Collapse Theorem for Computationally-Sound Protocols; or, TFNP is Hard-on-Average in Pessiland Friday, December 13, 2019 - 10:30am to 12:00pm Abstract: Consider the following two fundamental open problems in complexity theory: |
|
|
Dhiraj Holden: No-Signaling Proofs with sqrt(log n) Provers is in PSPACE Friday, December 6, 2019 - 10:30am to 12:00pm Abstract: No-signaling proofs, motivated by quantum computation, have found applications in cryptography and hardness of approximation. An important open problem is characterizing the power of no-signaling proofs. |
|
|
Ashutosh Kumar: Securing Secret Sharing Against Leakage and Tampering Friday, November 22, 2019 - 10:30am to 12:00pm ABSTRACT: Secret sharing is one of the most classical and widely used cryptographic primitives. |
|
|
Daniel Wichs: Extracting Randomness from Exractor-Dependent Sources Friday, November 15, 2019 - 10:30am to 12:00pm Abstract: We revisit the well-studied problem of extracting nearly uniform randomness from an arbitrary source of sufficient min-entropy. |
|
|
Rishab Goyal: Mixed Functional Encryption: A new stepping stone towards efficient tracing Friday, November 8, 2019 - 10:30am to 12:00pm Abstract: |
|
|
Henry Yuen: Perfect zero knowledge for quantum multiprover interactive proofs Friday, October 25, 2019 - 10:30am to 12:00pm Abstract: In a seminal 1988 paper, Ben-Or, Goldwasser, Kilian, and Wigderson (BGKW) introduced the model of multiprover interactive proofs (MIPs), and furthermore showed that zero knowledge can always be attained in this model without computational assumptions. |
|
|
Rotem Tsabary: Fully Secure Attribute-Based Encryption for t-CNF from LWE Friday, October 11, 2019 - 10:30am to 12:00pm Abstract: |
|
|
Christopher Peikert: Noninteractive Zero Knowledge for NP from Learning With Errors Friday, October 18, 2019 - 10:30am to 12:00pm Abstract:
We finally close the long-standing problem of constructing a |
|
|
Adrienne Mannov: A Call for Crypto-Anthropology Friday, October 11, 2019 - 4:00pm to 5:00pm Abstract: As a social anthropologist, cryptography is interesting because what counts as secure, what constitutes trust, and how sensitive information is perceived are not only cryptographic questions but deeply social ones. |
|
|
Ran Gelles: Optimal Short-Circuit Resilient Formulas Friday, July 26, 2019 - 10:30am to 12:00pm Abstract: We consider fault-tolerant boolean formulas in which the output of a faulty gate is short-circuited to one of the gate’s inputs. A recent result by Kalai et al. |
|
|
Yevgeniy Dodis (NYU): Seedless Fruit is the Sweetest: Random Number Generation, Revisited Friday, April 12, 2019 - 10:30am to 12:00pm Abstract: The need for high-quality randomness in cryptography makes |
|
|
Rio LaVigne: Adversarially Robust Property-Preserving Hash Functions Friday, February 22, 2019 - 10:30am to 12:00pm |
|
|
Alex Lombardi: Non-Interactive Zero Knowledge and Correlation Intractability from Circular-Secure FHE Friday, February 15, 2019 - 10:30am to 12:00pm Abstract: We construct non-interactive zero-knowledge (NIZK) arguments for NP from any circular-secure fully homomorphic encryption (FHE) scheme. In particular, we obtain such NIZKs under a circular-secure variant of the learning with errors (LWE) problem. |
|
|
Nadia Heninger: Lattice Attacks against Weak ECDSA Signatures in Cryptocurrencies Friday, May 31, 2019 - 10:30am to 12:00pm Abstract |
|
|
Elette Boyle: Compression Vector OLE and More Tuesday, January 15, 2019 - 10:30am to 12:00pm Abstract:
We will speak about a CCS'18 result and the bigger picture of a new line of work in compressing different types of pseudorandom correlations.
|
|
|
Amit Sahai: Obfuscation without multilinear maps Friday, November 30, 2018 - 10:30am to 12:00pm Abstract:
|
|
|
Hoeteck Wee: Obfuscation from LWE: How Far Are We? Friday, November 16, 2018 - 10:30am to 12:00pm Abstract: |
|
|
Oxana Poburinnaya: Fully bi-deniable interactive encryption Friday, November 9, 2018 - 10:30am to 12:00pm Abstract: Deniable encryption guarantees an extremely strong level of privacy: It provides the parties with algorithmic ways to come up with fake keys and random inputs that |
|
|
Mark Zhandry: Quantum Lightning Never Strikes the Same State Twice Friday, November 2, 2018 - 10:30am to 12:00pm Abstract: Quantum no-cloning states that it is physically impossible to clone a quantum state. No-cloning is a central to the study of quantum cryptography, where it allows for objects such as physically unforgeable currency. |
|
|
Yevgeniy Dodis: Small-Box Cryptography Friday, October 19, 2018 - 10:30am to 12:00pm Abstract: |
|
|
Willy Quach: Laconic Function Evaluation and Applications Friday, October 5, 2018 - 10:30am to 12:00pm Abstract: We introduce a new cryptographic primitive called laconic function |
|
|
Aikaterini Sotiraki: PPP-Completeness with Connections to Cryptography Friday, September 28, 2018 - 10:30am to 12:00pm Abstract: PPP is an important subclass of TFNP with profound connections to the complexity of the fundamental cryptographic primitives: collision-resistant hash functions and one-way permutations. In contrast to most of the other subclasses |
|
|
Urmila Mahadev (Berkeley): Classical Homomorphic Encryption for Quantum Circuits Friday, October 26, 2018 - 10:30am to 12:00pm Abstract: We present the first leveled fully homomorphic encryption scheme for quantum circuits with classical keys. |
|
|
Eylon Yogev (Weizmann Institute):On Distributional Collision Resistant Hashing Friday, September 14, 2018 - 10:30am to 12:00pm Abstract:
|
|
|
Merav Parter (Weizmann): Distributed Computing Made Secure: A New Cycle Cover Theorem Monday, June 18, 2018 - 1:30pm to 3:00pm |
|
|
Ran Cohen: Must the Communication Graph of MPC Protocols be an Expander? Friday, May 18, 2018 - 10:30am to 12:00pm Abstract: Secure multiparty computation (MPC) on incomplete communication networks has been studied within two primary models: (1) Where a partial network is fixed a priori, and thus corruptions can occur dependent on its structure, and (2) Where edges in the |
|
|
Kevin Fu: Physics of Cybersecurity: Sensors, Acoustics, Cuba Friday, May 11, 2018 - 10:30am to 12:00pm Abstract: Medical devices, autonomous vehicles, and the Internet of Things depend on the integrity and availability of trustworthy data from sensors to make safety-critical, automated decisions. |
|
|
Adi Shamir: Towards Quantitative Analysis of Cyber Security Friday, April 27, 2018 - 10:30am to 12:00pm ABSTRACT: Cyber security had become an extremely hot topic in the last few years, but almost all the research results published so far had been qualitative in nature: they do not formulate a precise mathematical model of the problem, do not numerically compare |
|
|
Alex Lombardi (MIT): Cryptographic Hashing From Strong One-Way Functions Friday, April 13, 2018 - 10:30am to 12:00pm |