Cynthia Sturton

Cited by

	All	Since 2019
Citations	630	411
h-index	11	10
i10-index	12	10

120

20092010201120122013201420152016201720182019202020212022202320243 11 13 9 25 14 20 28 45 42 38 51 88 56 116 62

Public access

View all

17 articles

0 articles

available

not available

Based on funding mandates

Co-authors

David WagnerProfessor of Computer Science, UC BerkeleyVerified email at cs.berkeley.edu
Calvin DeutschbeinComputer Science, School of Computing and Informationn Sciences, Willamette UniversityVerified email at willamette.edu
Matthew HicksVirginia TechVerified email at VT.edu
Samuel T KingUniversity of California at DavisVerified email at ucdavis.edu
Ryan KastnerProfessor of Computer Science and Engineering, UCSDVerified email at ucsd.edu
Andres MezaVerified email at ucsd.edu
Jonathan SmithProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Francesco RestucciaUniversity of California San DiegoVerified email at ucsd.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Andrew ChiCisco SystemsVerified email at cisco.com
Peng HuangUniversity of MichiganVerified email at umich.edu
Michael ReiterJames B. Duke Distinguished Professor, Duke UniversityVerified email at duke.edu
Natalie StanleyAssistant Professor at University of North Carolina at Chapel HillVerified email at cs.unc.edu
Susmit JhaDirector, Neurosymbolic Computing and Intelligence, SRI InternationalVerified email at sri.com
Petros ManiatisStaff Research Scientist, GoogleVerified email at google.com
Rohit SinhaSwirlds LabsVerified email at berkeley.edu
Robby CochranUniversity of North Carolina at Chapel HillVerified email at cs.unc.edu
Sarah AndrabiUniversity of North Carolina Chapel HillVerified email at cs.unc.edu
Alyssa ByrnesUniversity of North CarolinaVerified email at cs.unc.edu
Anne EdmundsonPrinceton UniversityVerified email at alumni.princeton.edu

Cynthia Sturton

Associate Professor of Computer Science, University of North Carolina at Chapel Hill

Verified email at cs.unc.edu - Homepage

Computer Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Defeating UCI: Building stealthy and malicious hardware C Sturton, M Hicks, D Wagner, ST King 2011 IEEE symposium on security and privacy, 64-77, 2011	178	2011
Specs: A lightweight runtime mechanism for protecting software from security-critical processor bugs M Hicks, C Sturton, ST King, JM Smith Proceedings of the Twentieth International Conference on Architectural …, 2015	90	2015
End-to-end automated exploit generation for validating the security of processor designs R Zhang, C Deutschbein, P Huang, C Sturton 2018 51st Annual IEEE/ACM International Symposium on Microarchitecture …, 2018	72	2018
Identifying security critical properties for the dynamic verification of a processor R Zhang, N Stanley, C Griggs, A Chi, C Sturton ACM SIGARCH Computer Architecture News 45 (1), 541-554, 2017	51	2017
On voting machine design for verification and testability C Sturton, S Jha, SA Seshia, D Wagner Proceedings of the 16th ACM conference on Computer and communications …, 2009	36	2009
Transys: Leveraging common security properties across hardware designs R Zhang, C Sturton 2020 IEEE Symposium on Security and Privacy (SP), 1713-1727, 2020	24	2020
Usability of augmented reality for revealing secret messages to users but not their devices SJ Andrabi, MK Reiter, C Sturton Eleventh Symposium On Usable Privacy and Security (SOUPS 2015), 89-102, 2015	24	2015
Isadora: Automated information flow property generation for hardware designs C Deutschbein, A Meza, F Restuccia, R Kastner, C Sturton Proceedings of the 5th Workshop on Attacks and Solutions in Hardware …, 2021	18	2021
Mining security critical linear temporal logic specifications for processors C Deutschbein, C Sturton 2018 19th International Workshop on Microprocessor and SOC Test and …, 2018	15	2018
A recursive strategy for symbolic execution to find exploits in hardware designs R Zhang, C Sturton Proceedings of the 2018 ACM SIGPLAN International Workshop on Formal Methods …, 2018	11	2018
Weight, Weight, Don't Tell Me: Using Scales to Select Ballots for Auditing. C Sturton, DA Wagner EVT/WOTE, 2009	11	2009
On Using Drivers' Eyes to Predict Accident-Causing Drowsiness Levels A Byrnes, C Sturton 2018 21st International Conference on Intelligent Transportation Systems …, 2018	10	2018
Toward hardware security property generation at scale C Deutschbein, A Meza, F Restuccia, M Gregoire, R Kastner, C Sturton IEEE Security & Privacy 20 (3), 43-51, 2022	9	2022
FinalFilter: Asserting security properties of a processor at runtime C Sturton, M Hicks, ST King, JM Smith IEEE Micro 39 (4), 35-42, 2019	9	2019
A system to verify network behavior of known cryptographic clients A Chi, RA Cochran, M Nesfield, MK Reiter, C Sturton 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2017	9	2017
Verification with small and short worlds R Sinha, C Sturton, P Maniatis, SA Seshia, D Wagner 2012 Formal Methods in Computer-Aided Design (FMCAD), 68-77, 2012	9	2012
Automated analysis of election audit logs P Baxter, A Edmundson, K Ortiz, AM Quevedo, S Rodrıguez, C Sturton, ... Proceeding EVT/WOTE'12 Proceedings of the 2012 international conference on …, 2012	9	2012
Automating hardware security property generation R Kastner, F Restuccia, A Meza, S Ray, J Fung, C Sturton Proceedings of the 59th ACM/IEEE Design Automation Conference, 1384-1387, 2022	7	2022
Evaluating security specification mining for a cisc architecture C Deutschbein, C Sturton 2020 IEEE International Symposium on Hardware Oriented Security and Trust …, 2020	7	2020
Isadora: automated information-flow property generation for hardware security verification C Deutschbein, A Meza, F Restuccia, R Kastner, C Sturton Journal of Cryptographic Engineering 13 (4), 391-407, 2023	5	2023

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors