Cynthia Sturton

ORCID

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 25

Top Venues

University of California, Berkeley, USA (PHD)

Education History

University of California, Berkeley, USA

PHD

Publications

Kaki Ryan, Cynthia Sturton
Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs. FMCAD (2023)
Kaki Ryan, Cynthia Sturton
Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs. CoRR (2023)
Calvin Deutschbein, Andres Meza, Francesco Restuccia, Ryan Kastner, Cynthia Sturton
Isadora: automated information-flow property generation for hardware security verification. J. Cryptogr. Eng. 13 (4) (2023)
Trent Jaeger, Brent ByungHoon Kang, Nele Mentens, Cynthia Sturton
Impact of Emerging Hardware on Security and Privacy. IEEE Secur. Priv. 21 (3) (2023)
Kaki Ryan, Matthew Gregoire, Cynthia Sturton
SEIF: Augmented Symbolic Execution for Information Flow in Hardware Designs. HASP@MICRO (2023)
Sohrab Aftabjahani, Mark M. 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
Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance. VTS (2023)
Kaki Ryan, Matthew Gregoire, Cynthia Sturton
Augmented Symbolic Execution for Information Flow in Hardware Designs. CoRR (2023)
Calvin Deutschbein, Andres Meza, Francesco Restuccia, Matthew Gregoire, Ryan Kastner, Cynthia Sturton
Toward Hardware Security Property Generation at Scale. IEEE Secur. Priv. 20 (3) (2022)
Ryan Kastner, Francesco Restuccia, Andres Meza, Sayak Ray, Jason M. Fung, Cynthia Sturton
Automating hardware security property generation: invited. DAC (2022)
Rui Zhang, Calvin Deutschbein, Peng Huang, Cynthia Sturton
End-to-End Automated Exploit Generation for Processor Security Validation. IEEE Des. Test 38 (3) (2021)
Calvin Deutschbein, Andres Meza, Francesco Restuccia, Ryan Kastner, Cynthia Sturton
Isadora: Automated Information Flow Property Generation for Hardware Designs. ASHES@CCS (2021)
Calvin Deutschbein, Andres Meza, Francesco Restuccia, Ryan Kastner, Cynthia Sturton
A Methodology For Creating Information Flow Specifications of Hardware Designs. CoRR (2021)
Alyssa Byrnes, Cynthia Sturton
Evaluating a Specification for its Support of Mode Awareness using Discrete and Continuous Model Checking. ITSC (2020)
Rui Zhang, Cynthia Sturton
Transys: Leveraging Common Security Properties Across Hardware Designs. IEEE Symposium on Security and Privacy (2020)
Calvin Deutschbein, Cynthia Sturton
Evaluating Security Specification Mining for a CISC Architecture. HOST (2020)
Cynthia Sturton, Matthew Hicks, Samuel T. King, Jonathan M. Smith
FinalFilter: Asserting Security Properties of a Processor at Runtime. IEEE Micro 39 (4) (2019)
Calvin Deutschbein, Cynthia Sturton
Mining Security Critical Linear Temporal Logic Specifications for Processors. MTV (2018)
Alyssa Byrnes, Cynthia Sturton
On Using Drivers' Eyes to Predict Accident-Causing Drowsiness Levels. ITSC (2018)
Rui Zhang, Calvin Deutschbein, Peng Huang, Cynthia Sturton
End-to-End Automated Exploit Generation for Validating the Security of Processor Designs. MICRO (2018)
Rui Zhang, Natalie Stanley, Christopher Griggs, Andrew Chi, Cynthia Sturton
Identifying Security Critical Properties for the Dynamic Verification of a Processor. ASPLOS (2017)
Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K. Reiter, Cynthia Sturton
A System to Verify Network Behavior of Known Cryptographic Clients. NSDI (2017)
Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K. Reiter, Cynthia Sturton
Server-side verification of client behavior in cryptographic protocols. CoRR (2016)
Chris Bradfield, Cynthia Sturton
Model checking to find vulnerabilities in an instruction set architecture. HOST (2016)
Matthew Hicks, Cynthia Sturton, Samuel T. King, Jonathan M. Smith
SPECS: A Lightweight Runtime Mechanism for Protecting Software from Security-Critical Processor Bugs. ASPLOS (2015)
Sarah J. Andrabi, Michael K. Reiter, Cynthia Sturton
Usability of Augmented Reality for Revealing Secret Messages to Users but Not Their Devices. SOUPS (2015)
Cynthia Sturton, Rohit Sinha, Thurston H. Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David A. Wagner
Symbolic software model validation. MEMOCODE (2013)
Rohit Sinha, Cynthia Sturton, Petros Maniatis, Sanjit A. Seshia, David A. Wagner
Verification with small and short worlds. FMCAD (2012)
Patrick Baxter, Anne Edmundson, Keishla Ortiz, Ana Maria Quevedo, Samuel Rodríguez, Cynthia Sturton, David A. Wagner
Automated Analysis of Election Audit Logs. EVT/WOTE (2012)
Cynthia Sturton, Matthew Hicks, David A. Wagner, Samuel T. King
Defeating UCI: Building Stealthy and Malicious Hardware. IEEE Symposium on Security and Privacy (2011)
Cynthia Sturton, David A. Wagner
Weight, Weight, Don't Tell Me: Using Scales to Select Ballots for Auditing. EVT/WOTE (2009)
Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, David A. Wagner
On voting machine design for verification and testability. CCS (2009)

Cynthia Sturton.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Cynthia Sturton