Zachary DeStefano

According to our database, Zachary DeStefano authored at least 9 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Push-1 is PSPACE-complete, and the automated verification of motion planning gadgets.

Zachary DeStefano, Bufang Liang

CoRR, August, 2025

Linear*-Time Permutation Check.

Benedikt Bünz, Jessica Chen, Zachary DeStefano

IACR Cryptol. ePrint Arch., 2025

2024

NOPE: Strengthening domain authentication with succinct proofs.

Zachary DeStefano, Jeff J. Ma, Joseph Bonneau, Michael Walfish

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

Zombie: Middleboxes that Don't Snoop.

Collin Zhang, Zachary DeStefano, Arasu Arun, Joseph Bonneau, Paul Grubbs, Michael Walfish

Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

2023

Less is more: refinement proofs for probabilistic proofs.

Kunming Jiang, Devora Chait-Roth, Zachary DeStefano, Michael Walfish, Thomas Wies

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

2022

zkQMC: Zero-Knowledge Proofs For (Some) Probabilistic Computations Using Quasi-Randomness.

Zachary DeStefano, Dani Barrack, Michael Dixon

IACR Cryptol. ePrint Arch., 2022

Multicolor Ramsey Numbers for Berge cycles.

Zachary DeStefano, Hannah Mahon, Frank Simutis, Michael Tait

Electron. J. Comb., 2022

2017

Optimally Redundant, Seek-Time Minimizing Data Layout for Interactive Rendering.

Jia Chen, Shan Jiang, Zachary DeStefano, Sung-Eui Yoon, Meenakshisundaram Gopi

Vis. Comput., 2017

2016

CT thermometry for cone-beam CT guided ablation.

Zachary DeStefano, Nadine Abi-Jaoudeh, Ming Li, Bradford J. Wood, Ronald M. Summers, Jianhua Yao

Proceedings of the Medical Imaging 2016: Image-Guided Procedures, Robotic Interventions, and Modeling, San Diego, California, United States, 27 February, 2016