Cryptography and Information Security (CIS) Seminar

Dakshita Khurana: On Removing Interaction in Non-Malleable Commitments
Friday, April 9, 2021 - 1:00pm to 2:30pm
Ron Rothblum: Local Proofs Approaching the Witness Length
Friday, April 2, 2021 - 1:00pm to 2:30pm
Prabhanjan Ananth: Secure Software Leasing
Friday, March 26, 2021 - 1:00pm to 2:30pm
Abstract: Formulating cryptographic definitions to protect against software piracy is an important research direction that has not received much attention.
Zhengzhong Jin: Non-Interactive Zero Knowledge from Sub-exponential DDH
Friday, April 16, 2021 - 1:00pm to 2:30pm

Abstract:  We provide the first constructions of non-interactive zero-knowledge and Zap arguments for NP based on the sub-exponential hardness of Decisional Diffie-Hellman against polynomia

Alex Lombardi: Fiat-Shamir via List-Recoverable Codes
Friday, March 5, 2021 - 1:00pm to 2:30pm
Abstract: We construct hash functions that, assuming the hardness of LWE, securely realize the Fiat-Shamir transform (in the standard model) for the following rich classes of protocols:
Jiayu Zhang: Succinct Blind Quantum Computation Using a Random Oracle
Friday, March 19, 2021 - 1:00pm to 2:30pm
Rachel Zhang: SNARGs for Bounded Depth Computations
Friday, February 26, 2021 - 1:00pm to 2:30pm

Abstract: The Fiat-Shamir heuristic allows one to make interactive protocols non-interactive by replacing the verifier with hash functions.

Rafael Pass: On One-way Functions and Kolmogorov Complexity
Friday, February 19, 2021 - 1:00pm to 2:30pm
We prove the equivalence of two fundamental problems in the theory of computing. 
Yantian (Tina) Zhang: Classical proofs of quantum knowledge
Friday, February 5, 2021 - 10:30am to 12:00pm

Abstract: We define the notion of a proof of knowledge in the setting where the verifier is classical, but the prover is quantum, and where the witness that the prover holds is in general a quantum state.

2 Part Seminar, Aayush Jain, Huijia (Rachel) Lin and Amit Sahai: Indistinguishability Obfuscation from Well-Founded Assumptions
Friday, December 4, 2020 - 1:00pm to 4:00pm


Subscribe to Cryptography and Information Security (CIS) Seminar