Cryptography and Information Security (CIS) Seminar

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
random-number generation one of its most fundamental tasks. A recent
important line of work (initiated by Dodis et al., CCS ’13) focuses on

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:
GGH15 provide a way to encode many pairs of matrices, such that we can
check whether any subset product is zero, while potentially hiding all
other information about the matrices. This immediately yields a

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
 

Pages

Subscribe to Cryptography and Information Security (CIS) Seminar