Get started
Author

Calvin Deutschbein

Observed name: Deutschbein, Calvin
ORCID: 0000-0003-1354-7200
Observed ORCID: 0000-0003-1354-7200
OpenAlex ID: A5048337173
End-to-End Automated Exploit Generation for Validating the Security of Processor Designs
2018 · Rui Zhang, Calvin Deutschbein, et al. · IEEE/ACM International Symposium on Microarchitecture (MICRO) · 63
PDF
Isadora
2021 · Calvin Deutschbein, Andres Meza, et al. · Workshop on Attacks and Solutions in Hardware Security (ASHES) · 25
PDF
Mining Security Critical Linear Temporal Logic Specifications for Processors
2018 · Calvin Deutschbein, Cynthia Sturton · International Workshop on Microprocessor Test and Verification (MTV) · 16
Toward Hardware Security Property Generation at Scale
2022 · Calvin Deutschbein, Andres Meza, et al. · IEEE Security & Privacy · 11
Evaluating Security Specification Mining for a CISC Architecture
2020 · Calvin Deutschbein, Cynthia Sturton · IEEE International Symposium on Hardware Oriented Security and Trust (HOST) · 11
Performance and energy limits of a processor-integrated FFT accelerator
2014 · Tung Thanh-Hoang, Amirali Shambayati, et al. · IEEE High Performance Extreme Computing Conference · 10
Multi-core cyclic executives for safety-critical systems
2018 · Calvin Deutschbein, Tom Fleming, et al. · Science of Computer Programming · 8
Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance
2023 · Sohrab Aftabjahani, Mark Tehranipoor, et al. · IEEE VLSI Test Symposium (VTS) · 7
Multi-core Cyclic Executives for Safety-Critical Systems
2017 · Calvin Deutschbein, Tom Fleming, et al. · Lecture notes in computer science · 4
“Test, Build, Deploy” - A CI/CD Framework for Open-Source Hardware Designs
2025 · Calvin Deutschbein, Aristotle Stassinopoulos · International Conference on Electrical, Computer and Energy Technologies (ICECET) · 3
PDF
Isadora: automated information-flow property generation for hardware security verification
2022 · Calvin Deutschbein, Andres Meza, et al. · Journal of Cryptographic Engineering · 3
End-to-End Automated Exploit Generation for Processor Security Validation
2021 · Rui Zhang, Calvin Deutschbein, et al. · IEEE Design and Test · 3
PDF
"vcd2df" - Leveraging Data Science Insights for Hardware Security Research
2025 · Calvin Deutschbein, Jimmy Ostler, et al. · International Conference on Artificial Intelligence, Computer, Data Sciences and Applications (ACDSA) · 1
PDF
A Methodology For Creating Information Flow Specifications of Hardware Designs.
2021 · Calvin Deutschbein, Andres Meza, et al. · arXiv (Cornell University) · 1
RTL-Arrow: Hardware-to-Cloud Bridge
2026 · Deutschbein, Calvin, Ostler, Jimmy · arXiv (Cornell University)
PDF
Information Flow Paths from RTL Traces
2026 · Deutschbein, Calvin, Wyatt, Owyn · arXiv (Cornell University)
PDF
vcd2df: Value Change Dump to Data Frame
2025 · Calvin Deutschbein
PDF
Preemptive Uniprocessor EDF Schedulability Analysis with Preemption Costs Considered
2016 · Calvin Deutschbein, Sanjoy Baruah · IEEE Real-Time Systems Symposium (RTSS)
Works count: 19
Citation count: 166
H-index: 7
I10-index: 6
Year
Topic
Type