Shafik Nassar

dblp:316/4446 · DBLP profile ↗
← Back
8ranked-venue papers
4as first author
8since 2021 · last 2026
0000-0002-7388-3858ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 7 · 4 first-author · 7 since 2021Theory of computation · 3 · 1 first-author · 3 since 2021
YearPublicationVenuePosition
2026 Adaptive NIKE for Unbounded Parties
Shafik Nassar, Brent Waters
CRYPTO (1)1
2025 Succinct Computational Secret Sharing for Monotone Circuits
George Lu, Shafik Nassar, Brent Waters
ASIACRYPT (8)2
2025 Monotone-Policy BARGs and More from BARGs and Quadratic Residuosity
Shafik Nassar, Brent Waters, David J. Wu 0001
PKC (4)1
2025 A Hidden-Bits Approach to Statistical ZAPs from LWE
Eli Bradley, George Lu, Shafik Nassar, Brent Waters, David J. Wu 0001
TCC (4)3
2024 Strong Batching for Non-interactive Statistical Zero-Knowledge
Changrui Mu, Shafik Nassar, Ron Rothblum, Prashant Nalini Vasudevan
EUROCRYPT (6)2
2024 Monotone Policy BARGs from BARGs and Additively Homomorphic Encryption
Shafik Nassar, Brent Waters, David J. Wu 0001
TCC (2)1
2023 Faithful Simulation of Randomized BFT Protocols on Block DAGs
abstract
Blockchain plays an important role in cryptocurrency markets and technology services. However, limitations on high latency and low scalability retard their adoptions and applications in classic designs. Reconstructed blockchain systems have been proposed to avoid the consumption of competitive transactions caused by linear sequenced blocks. These systems, instead, structure transactions/blocks in the form of Directed Acyclic Graph (DAG) and consequently re-build upper layer components including consensus, incentives, \textit{etc.} The promise of DAG-based blockchain systems is to enable fast confirmation (complete transactions within million seconds) and high scalability (attach transactions in parallel) without significantly compromising security. However, this field still lacks systematic work that summarises the DAG technique. To bridge the gap, this Systematization of Knowledge (SoK) provides a comprehensive analysis of DAG-based blockchain systems. Through deconstructing open-sourced systems and reviewing academic researches, we conclude the main components and featured properties of systems, and provide the approach to establish a DAG. With this in hand, we analyze the security and performance of several leading systems, followed by discussions and comparisons with concurrent (scaling blockchain) techniques. We further identify open challenges to highlight the potentiality of DAG-based solutions and indicate their promising directions for future research.
Hagit Attiya, Constantin Enea, Shafik Nassar
CONCUR3
2022 Succinct Interactive Oracle Proofs: Applications and Limitations
Shafik Nassar, Ron Rothblum
CRYPTO (1)1