| 2025 | ASPLOS | SYLQ-SV: Scaling Symbolic Execution of Hardware Designs with Query Caching. | Kaki Ryan, Cynthia Sturton |
| 2025 | FDL | Leveraging Piecewise Composition to Infer Environment Constraints for Hardware Designs. | Kaki Ryan, Cynthia Sturton |
| 2025 | VTS | Special Session: Bringing Symbolic Execution to the Security Verification of Hardware Designs. | Kaki Ryan, Cynthia Sturton |
| 2023 | FMCAD | Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs. | Kaki Ryan, Cynthia Sturton |
| 2023 | VTS | Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance. | Sohrab Aftabjahani, Mark Tehranipoor, Farimah Farahmandi, Bulbul Ahmed, Ryan Kastner, Francesco Restuccia, Andres Meza, Kaki Ryan, Nicole Fern, Jasper Van Woudenberg, Rajesh Velegalati, Cees-Bart Breunesse, Cynthia Sturton, Calvin Deutschbein |
| 2022 | DAC | Automating hardware security property generation: invited. | Ryan Kastner, Francesco Restuccia, Andres Meza, Sayak Ray, Jason M. Fung, Cynthia Sturton |
| 2021 | CCS | Isadora: Automated Information Flow Property Generation for Hardware Designs. | Calvin Deutschbein, Andres Meza, Francesco Restuccia, Ryan Kastner, Cynthia Sturton |
| 2020 | SP | Transys: Leveraging Common Security Properties Across Hardware Designs. | Rui Zhang, Cynthia Sturton |
| 2018 | MICRO | End-to-End Automated Exploit Generation for Validating the Security of Processor Designs. | Rui Zhang, Calvin Deutschbein, Peng Huang, Cynthia Sturton |
| 2017 | ASPLOS | Identifying Security Critical Properties for the Dynamic Verification of a Processor. | Rui Zhang, Natalie Stanley, Christopher Griggs, Andrew Chi, Cynthia Sturton |
| 2017 | NSDI | A System to Verify Network Behavior of Known Cryptographic Clients. | Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K. Reiter, Cynthia Sturton |
| 2015 | ASPLOS | SPECS: A Lightweight Runtime Mechanism for Protecting Software from Security-Critical Processor Bugs. | Matthew Hicks, Cynthia Sturton, Samuel T. King, Jonathan M. Smith |
| 2015 | SOUPS | Usability of Augmented Reality for Revealing Secret Messages to Users but Not Their Devices. | Sarah J. Andrabi, Michael K. Reiter, Cynthia Sturton |
| 2013 | MEMOCODE | Symbolic software model validation. | Cynthia Sturton, Rohit Sinha, Thurston H. Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David A. Wagner |
| 2012 | FMCAD | Verification with small and short worlds. | Rohit Sinha, Cynthia Sturton, Petros Maniatis, Sanjit A. Seshia, David A. Wagner |
| 2011 | SP | Defeating UCI: Building Stealthy and Malicious Hardware. | Cynthia Sturton, Matthew Hicks, David A. Wagner, Samuel T. King |
| 2009 | CCS | On voting machine design for verification and testability. | Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, David A. Wagner |