My research interest is the interplay of complexity and cryptography, and specifically proof systems.
I participated in the Simons Institute cryptography program in summer 2025.
Quantum Statistical Witness Indistinguishability
Shafik Nassar, Ronak Ramachandran
Succinct Computational Secret Sharing for Monotone Circuits
George Lu, Shafik Nassar, Brent Waters
ASIACRYPT 2025 | ePrint
Monotone-Policy BARGs and More from BARGs and Quadratic Residuosity
Shafik Nassar, Brent Waters, David J. Wu
PKC 2025 | ePrint
A Hidden-Bits Approach to Statistical ZAPs from LWE
Eli Bradley, George Lu, Shafik Nassar, Brent Waters, David J. Wu
TCC 2025 | ePrint
Strong Batching for Non-Interactive Statistical Zero-Knowledge
Changrui Mu, Shafik Nassar, Ron Rothblum, Prashant Nalini Vasudevan
EUROCRYPT 2024 | ePrint
Monotone Policy BARGs from BARGs and Additively Homomorphic Encryption
Shafik Nassar, Brent Waters, David J. Wu
TCC 2024 | ePrint
Faithful Simulation of Randomized BFT Protocols on Block DAGs
Hagit Attiya, Constantin Enea, Shafik Nassar
CONCUR 2023 | ePrint
Succinct Interactive Oracle Proofs: Applications and Limitations
Shafik Nassar, Ron D. Rothblum
CRYPTO 2022 | ePrint