Calvin Deutschbein

Publications

107

Citations

H-Index

2018

Active since

Affiliations

University of North Carolina at Chapel Hill(Current)

University of California San Diego

Calvin Deutschbein is an author at University of North Carolina at Chapel Hill specializing in formal verification, engineering, and hardware security.

ORCID

Top concepts

EngineeringComputer ScienceProgram AnalysisHardware SecuritySoftware AnalysisFormal VerificationComputer EngineeringComputer ArchitectureFormal MethodsSystem Software

Publications per year

2018–2022

Publications

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

Rui Zhang, Calvin Deutschbein, Peng Huang et al. · 2018 · 54 citations

Engineering, Hardware Verification Language, Computer Architecture +20

Mining Security Critical Linear Temporal Logic Specifications for Processors

Calvin Deutschbein, Cynthia Sturton · 2018 · 17 citations

Engineering, Hardware Verification Language, Typed Property Templates +18

Isadora

Calvin Deutschbein, Andres Meza, Francesco Restuccia et al. · 2021 · 16 citations · Full text

Hardware Security, Software Security, Engineering +15

Evaluating Security Specification Mining for a CISC Architecture

Calvin Deutschbein, Cynthia Sturton · 2020 · 10 citations

Toward Hardware Security Property Generation at Scale

Calvin Deutschbein, Andres Meza, Francesco Restuccia et al. · IEEE Security & Privacy · 2022 · 10 citations

Rows per page

1–5 of 5