Succinct Interactive Oracle Proofs: Applications and Limitations. - Shafik Nassar; Ron D. Rothblum (IACR Cryptol. ePrint Arch., 2022)

Faithful Simulation of Randomized BFT Protocols on Block DAGs. - Hagit Attiya; Constantin Enea; Shafik Nassar (IACR Cryptol. ePrint Arch., 2023)

Monotone Policy BARGs from BARGs and Additively Homomorphic Encryption. - Shafik Nassar; Brent Waters; David J. Wu 001 (IACR Cryptol. ePrint Arch., 2023)

Strong Batching for Non-Interactive Statistical Zero-Knowledge. - Changrui Mu; Shafik Nassar; Ron Rothblum; Prashant Nalini Vasudevan (Electron. Colloquium Comput. Complex., 2024)

A Hidden-Bits Approach to Black-Box Statistical ZAPs from LWE. - Eli Bradley; George Lu; Shafik Nassar; Brent Waters; David J. Wu 001 (IACR Cryptol. ePrint Arch., 2024)

Succinct Computational Secret Sharing for Monotone Circuits. - George Lu; Shafik Nassar; Brent Waters (IACR Cryptol. ePrint Arch., 2025)

Monotone-Policy BARGs and More from BARGs and Quadratic Residuosity. - Shafik Nassar; Brent Waters; David J. Wu 001 (IACR Cryptol. ePrint Arch., 2025)