Cynthia Sturton

According to our database, Cynthia Sturton authored at least 32 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Isadora: automated information-flow property generation for hardware security verification.

Calvin Deutschbein, Andres Meza, Francesco Restuccia, Ryan Kastner, Cynthia Sturton

J. Cryptogr. Eng., November, 2023

Impact of Emerging Hardware on Security and Privacy.

Trent Jaeger, Brent ByungHoon Kang, Nele Mentens, Cynthia Sturton

IEEE Secur. Priv., 2023

Augmented Symbolic Execution for Information Flow in Hardware Designs.

Kaki Ryan, Matthew Gregoire, Cynthia Sturton

CoRR, 2023

Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs.

Kaki Ryan, Cynthia Sturton

CoRR, 2023

Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance.

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

Proceedings of the 41st IEEE VLSI Test Symposium, 2023

SEIF: Augmented Symbolic Execution for Information Flow in Hardware Designs.

Kaki Ryan, Matthew Gregoire, Cynthia Sturton

Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy, 2023

Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs.

Kaki Ryan, Cynthia Sturton

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Toward Hardware Security Property Generation at Scale.

Calvin Deutschbein, Andres Meza, Francesco Restuccia, Matthew Gregoire, Ryan Kastner, Cynthia Sturton

IEEE Secur. Priv., 2022

Automating hardware security property generation: invited.

Ryan Kastner, Francesco Restuccia, Andres Meza, Sayak Ray, Jason M. Fung, Cynthia Sturton

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021

End-to-End Automated Exploit Generation for Processor Security Validation.

Rui Zhang, Calvin Deutschbein, Peng Huang, Cynthia Sturton

IEEE Des. Test, 2021

A Methodology For Creating Information Flow Specifications of Hardware Designs.

Calvin Deutschbein, Andres Meza, Francesco Restuccia, Ryan Kastner, Cynthia Sturton

CoRR, 2021

Isadora: Automated Information Flow Property Generation for Hardware Designs.

Calvin Deutschbein, Andres Meza, Francesco Restuccia, Ryan Kastner, Cynthia Sturton

Proceedings of the ASHES@CCS 2021: Proceedings of the 5th Workshop on Attacks and Solutions in Hardware Security, 2021

2020

Transys: Leveraging Common Security Properties Across Hardware Designs.

Rui Zhang, Cynthia Sturton

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Evaluating a Specification for its Support of Mode Awareness using Discrete and Continuous Model Checking.

Alyssa Byrnes, Cynthia Sturton

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

Evaluating Security Specification Mining for a CISC Architecture.

Calvin Deutschbein, Cynthia Sturton

Proceedings of the 2020 IEEE International Symposium on Hardware Oriented Security and Trust, 2020

2019

FinalFilter: Asserting Security Properties of a Processor at Runtime.

Cynthia Sturton, Matthew Hicks, Samuel T. King, Jonathan M. Smith

IEEE Micro, 2019

2018

Mining Security Critical Linear Temporal Logic Specifications for Processors.

Calvin Deutschbein, Cynthia Sturton

Proceedings of the 19th International Workshop on Microprocessor and SOC Test and Verification, 2018

End-to-End Automated Exploit Generation for Validating the Security of Processor Designs.

Rui Zhang, Calvin Deutschbein, Peng Huang, Cynthia Sturton

Proceedings of the 51st Annual IEEE/ACM International Symposium on Microarchitecture, 2018

On Using Drivers' Eyes to Predict Accident-Causing Drowsiness Levels.

Alyssa Byrnes, Cynthia Sturton

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

2017

A System to Verify Network Behavior of Known Cryptographic Clients.

Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K. Reiter, Cynthia Sturton

Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

Identifying Security Critical Properties for the Dynamic Verification of a Processor.

Rui Zhang, Natalie Stanley, Christopher Griggs, Andrew Chi, Cynthia Sturton

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2016

Server-side verification of client behavior in cryptographic protocols.

Andrew Chi, Robert A. Cochran, Marie Nesfield, Michael K. Reiter, Cynthia Sturton

CoRR, 2016

Model checking to find vulnerabilities in an instruction set architecture.

Chris Bradfield, Cynthia Sturton

Proceedings of the 2016 IEEE International Symposium on Hardware Oriented Security and Trust, 2016

2015

Usability of Augmented Reality for Revealing Secret Messages to Users but Not Their Devices.

Sarah J. Andrabi, Michael K. Reiter, Cynthia Sturton

Proceedings of the Eleventh Symposium On Usable Privacy and Security, 2015

SPECS: A Lightweight Runtime Mechanism for Protecting Software from Security-Critical Processor Bugs.

Matthew Hicks, Cynthia Sturton, Samuel T. King, Jonathan M. Smith

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2013

Secure Virtualization with Formal Methods.

Cynthia Sturton

PhD thesis, 2013

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

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

2012

Automated Analysis of Election Audit Logs.

Patrick Baxter, Anne Edmundson, Keishla Ortiz, Ana Maria Quevedo, Samuel Rodríguez, Cynthia Sturton, David A. Wagner

Proceedings of the 2012 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2012

Verification with small and short worlds.

Rohit Sinha, Cynthia Sturton, Petros Maniatis, Sanjit A. Seshia, David A. Wagner

Proceedings of the Formal Methods in Computer-Aided Design, 2012

2011

Defeating UCI: Building Stealthy and Malicious Hardware.

Cynthia Sturton, Matthew Hicks, David A. Wagner, Samuel T. King

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

2009

Weight, Weight, Don't Tell Me: Using Scales to Select Ballots for Auditing.

Cynthia Sturton, David A. Wagner

Proceedings of the 2009 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2009

On voting machine design for verification and testability.

Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, David A. Wagner

Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009