Cynthia Sturton

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