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 (CCS, 2014)

Crust: A Bounded Verifier for Rust (N). - John Toman; Stuart Pernsteiner; Emina Torlak (ASE, 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 005 (SNAPL, 2015)

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers. - Stuart Pernsteiner; Calvin Loncaric; Emina Torlak; Zachary Tatlock; Xi Wang 005; Michael D. Ernst; Jonathan Jacky (CAV (2), 2016)

Œuf: minimizing the Coq extraction TCB. - Eric Mullen; Stuart Pernsteiner; James R. Wilcox; Zachary Tatlock; Dan Grossman (CPP, 2018)

Practical Verification of Safety-Critical Systems. - Stuart Pernsteiner (2018)

Symbolic Testing for C and Rust. - Aaron Tomb; Stuart Pernsteiner; Mike Dodds (SecDev, 2020)

Cheesecloth: Zero-Knowledge Proofs of Real World Vulnerabilities. - Santiago Cuéllar; Bill Harris; James Parker; Stuart Pernsteiner; Eran Tromer (USENIX Security Symposium, 2023)

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)