Calvin Deutschbein

19 papers A* 1A 1Misc 2Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
"Test, Build, Deploy" - A CI/CD Framework for Open-Source Hardware Designs.
ICECET
Calvin Deutschbein, Aristotle Stassinopoulos
2025 J jnl
"Test, Build, Deploy" - A CI/CD Framework for Open-Source Hardware Designs.
CoRR
Calvin Deutschbein, Aristotle Stassinopoulos
2025 J jnl
"vcd2df" - Leveraging Data Science Insights for Hardware Security Research.
CoRR
Calvin Deutschbein, Jimmy Ostler, Hriday Raj
2025 J jnl
Engaging with the Wiphala: A Code-Generation Hardened CS1 Final.
J. Comput. Sci. Coll.
Calvin Deutschbein, Shouvik Ahmed Antu
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 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
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
2021 J jnl
Mining Secure Behavior of Hardware Designs.
CoRR
Calvin Deutschbein
2021 — —
Mining Secure Behavior of Hardware Designs.
Calvin Deutschbein
2020 — conf
Evaluating Security Specification Mining for a CISC Architecture.
HOST
Calvin Deutschbein, Cynthia Sturton
2019 J jnl
Multi-core cyclic executives for safety-critical systems.
Sci. Comput. Program.
Calvin Deutschbein, Tom Fleming, Alan Burns, Sanjoy K. Baruah
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
2017 Misc conf
Multi-core Cyclic Executives for Safety-Critical Systems.
SETTA
Calvin Deutschbein, Tom Fleming, Alan Burns, Sanjoy K. Baruah
2016 A conf
Preemptive Uniprocessor EDF Schedulability Analysis with Preemption Costs Considered.
RTSS
Calvin Deutschbein, Sanjoy K. Baruah
2014 — conf
Performance and energy limits of a processor-integrated FFT accelerator.
HPEC
Tung Thanh Hoang, Amirali Shambayati, Calvin Deutschbein, Henry Hoffmann, Andrew A. Chien