Browsing by Author Pick, Lauren
Showing results 1 to 3 of 3
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 2020 | Automating Modular Verification of Secure Information Flow | Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti |
| 2018 | Exploiting Synchrony and Symmetry in Relational Verification | Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti |
| 2021 | Unbounded Procedure Summaries from Bounded Environments | Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti |