Zachary DeStefano

13 papers A* 2Misc 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Linear*-Time Permutation Check.
IACR Cryptol. ePrint Arch.
Benedikt Bünz, Jessica Chen, Zachary DeStefano
2025 J jnl
NOPE: Strengthening domain authentication with succinct proofs.
IACR Cryptol. ePrint Arch.
Zachary DeStefano, Jeff J. Ma, Joseph Bonneau, Michael Walfish
2025 J jnl
Push-1 is PSPACE-complete, and the automated verification of motion planning gadgets.
CoRR
Zachary DeStefano, Bufang Liang
2025 J jnl
Sum-check protocol for approximate computations.
IACR Cryptol. ePrint Arch.
Dor Bitan, Zachary DeStefano, Shafi Goldwasser, Yuval Ishai, Yael Tauman Kalai, Justin Thaler
2024 A* conf
NOPE: Strengthening domain authentication with succinct proofs.
SOSP
Zachary DeStefano, Jeff J. Ma, Joseph Bonneau, Michael Walfish
2024 Misc conf
Zombie: Middleboxes that Don't Snoop.
NSDI
Collin Zhang, Zachary DeStefano, Arasu Arun, Joseph Bonneau, Paul Grubbs, Michael Walfish
2023 A* conf
Less is more: refinement proofs for probabilistic proofs.
SP
Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, Thomas Wies
2023 J jnl
Zombie: Middleboxes that Don't Snoop.
IACR Cryptol. ePrint Arch.
Collin Zhang, Zachary DeStefano, Arasu Arun, Joseph Bonneau, Paul Grubbs, Michael Walfish
2022 J jnl
Less is more: refinement proofs for probabilistic proofs.
IACR Cryptol. ePrint Arch.
Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, Thomas Wies
2022 J jnl
Multicolor Ramsey Numbers for Berge cycles.
Electron. J. Comb.
Zachary DeStefano, Hannah Mahon, Frank Simutis, Michael Tait
2022 J jnl
zkQMC: Zero-Knowledge Proofs For (Some) Probabilistic Computations Using Quasi-Randomness.
IACR Cryptol. ePrint Arch.
Zachary DeStefano, Dani Barrack, Michael Dixon
2017 J jnl
Optimally Redundant, Seek-Time Minimizing Data Layout for Interactive Rendering.
Vis. Comput.
Jia Chen, Shan Jiang, Zachary DeStefano, Sung-Eui Yoon, Meenakshisundaram Gopi
2016 — conf
CT thermometry for cone-beam CT guided ablation.
Image-Guided Procedures
Zachary DeStefano, Nadine Abi-Jaoudeh, Ming Li, Bradford J. Wood, Ronald M. Summers, Jianhua Yao