Stuart Pernsteiner

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 5

Top Topics

Mathematical Knowledge

Knowledge Extraction

Insider Attacks

Top Venues

USENIX Security Symposium

Publications

Santiago Cuéllar, Bill Harris, James Parker, Stuart Pernsteiner, Eran Tromer
Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities. CoRR (2023)
Santiago Cuéllar, Bill Harris, James Parker, Stuart Pernsteiner, Eran Tromer
Cheesecloth: Zero-Knowledge Proofs of Real World Vulnerabilities. USENIX Security Symposium (2023)
Aaron Tomb, Stuart Pernsteiner, Mike Dodds
Symbolic Testing for C and Rust. SecDev (2020)
Eric Mullen, Stuart Pernsteiner, James R. Wilcox, Zachary Tatlock, Dan Grossman
Œuf: minimizing the Coq extraction TCB. CPP (2018)
Stuart Pernsteiner, Calvin Loncaric, Emina Torlak, Zachary Tatlock, Xi Wang, Michael D. Ernst, Jonathan Jacky
Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers. CAV (2) (2016)
Michael D. Ernst, Dan Grossman, Jon Jacky, Calvin Loncaric, Stuart Pernsteiner, Zachary Tatlock, Emina Torlak, Xi Wang
Toward a Dependability Case Language and Workflow for a Radiation Therapy System. SNAPL (2015)
John Toman, Stuart Pernsteiner, Emina Torlak
Crust: A Bounded Verifier for Rust (N). ASE (2015)
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
Collaborative Verification of Information Flow for a High-Assurance App Store. CCS (2014)