Stuart Pernsteiner

According to our database, Stuart Pernsteiner authored at least 10 papers between 2014 and 2025.

Collaborative distances:

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

2025

Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities.

Santiago Cuéllar, Bill Harris, James Parker, Stuart Pernsteiner, Ian Sweet, Eran Tromer

ACM Trans. Priv. Secur., November, 2025

2024

Crux, a Precise Verifier for Rust and Other Languages.

Stuart Pernsteiner, Iavor S. Diatchki, Robert Dockins, Mike Dodds, Joe Hendrix, Tristan Ravitch, Patrick Redmond, Ryan G. Scott, Aaron Tomb

CoRR, 2024

2023

Cheesecloth: Zero-Knowledge Proofs of Real World Vulnerabilities.

Santiago Cuéllar, Bill Harris, James Parker, Stuart Pernsteiner, Eran Tromer

Proceedings of the 32nd USENIX Security Symposium, 2023

2020

Symbolic Testing for C and Rust.

Aaron Tomb, Stuart Pernsteiner, Mike Dodds

Proceedings of the IEEE Secure Development, SecDev 2020, Atlanta, GA, USA, 2020

2018

Practical Verification of Safety-Critical Systems.

Stuart Pernsteiner

PhD thesis, 2018

Œuf: minimizing the Coq extraction TCB.

Eric Mullen, Stuart Pernsteiner, James R. Wilcox, Zachary Tatlock, Dan Grossman

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2016

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers.

Stuart Pernsteiner, Calvin Loncaric, Emina Torlak, Zachary Tatlock, Xi Wang, Michael D. Ernst, Jonathan Jacky

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Toward a Dependability Case Language and Workflow for a Radiation Therapy System.

Michael D. Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Emina Torlak, Xi Wang

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Crust: A Bounded Verifier for Rust (N).

John Toman, Stuart Pernsteiner, Emina Torlak

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014

Collaborative Verification of Information Flow for a High-Assurance App Store.

Michael D. Ernst, René Just, Suzanne Millstein, Werner Dietl, Stuart Pernsteiner, Franziska Roesner, Karl Koscher, Paulo Barros, Ravi Bhoraskar, Seungyeop Han, Paul Vines, Edward XueJun Wu

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014