Search Results - "Pernsteiner, Stuart"

Practical Verification of Safety-Critical Systems by Pernsteiner, Stuart

“…Software-based control systems operate scientific equipment worth millions of dollars and even safety-critical medical devices, making them good targets for…”
Get full text

Cheesecloth: Zero-Knowledge Proofs of Real-World Vulnerabilities by Cuéllar, Santiago, Harris, Bill, Parker, James, Pernsteiner, Stuart, Tromer, Eran

“…Currently, when a security analyst discovers a vulnerability in critical software system, they must navigate a fraught dilemma: immediately disclosing the…”
Get full text

Crust: A Bounded Verifier for Rust (N) by Toman, John, Pernsteiner, Stuart, Torlak, Emina

“…Rust is a modern systems language that provides guaranteed memory safety through static analysis. However, Rust includes an escape hatch in the form of "unsafe…”
Get full text

Symbolic Testing for C and Rust by Tomb, Aaron, Pernsteiner, Stuart, Dodds, Mike

“…This tutorial will provide an introduction to Crux, Galois' new open source symbolic testing tool. Traditional testing examines only a small set of test…”
Get full text

Crux, a Precise Verifier for Rust and Other Languages by Pernsteiner, Stuart, Diatchki, Iavor S, Dockins, Robert, Dodds, Mike, Hendrix, Joe, Ravich, Tristan, Redmond, Patrick, Scott, Ryan, Tomb, Aaron

“…We present Crux, a cross-language verification tool for Rust and C/LLVM. Crux targets bounded, intricate pieces of code that are difficult for humans to get…”
Get full text

Observationally Cooperative Multithreading by Stone, Christopher A, O'Neill, Melissa E, Bohr, Sonja A, Cozzette, Adam M, DeBlasio, M. Joe, Matsieva, Julia, Pernsteiner, Stuart A, Schumer, Ari D

“…Despite widespread interest in multicore computing, concur- rency models in mainstream languages often lead to subtle, error-prone code. Observationally…”
Get full text