Zachary DeStefano

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 6

Top Topics

Stochastic Logic Programs

Theorem Proving

Top Venues

IACR Cryptol. ePrint Arch.

Electron. J. Comb.

Publications

Collin Zhang, Zachary DeStefano, Arasu Arun, Joseph Bonneau, Paul Grubbs, Michael Walfish
Zombie: Middleboxes that Don't Snoop. NSDI (2024)
Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, Thomas Wies
Less is more: refinement proofs for probabilistic proofs. SP (2023)
Collin Zhang, Zachary DeStefano, Arasu Arun, Joseph Bonneau, Paul Grubbs, Michael Walfish
Zombie: Middleboxes that Don't Snoop. IACR Cryptol. ePrint Arch. 2023 (2023)
Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, Thomas Wies
Less is more: refinement proofs for probabilistic proofs. IACR Cryptol. ePrint Arch. 2022 (2022)
Zachary DeStefano, Hannah Mahon, Frank Simutis, Michael Tait
Multicolor Ramsey Numbers for Berge cycles. Electron. J. Comb. 29 (4) (2022)
Zachary DeStefano, Dani Barrack, Michael Dixon
zkQMC: Zero-Knowledge Proofs For (Some) Probabilistic Computations Using Quasi-Randomness. IACR Cryptol. ePrint Arch. 2022 (2022)