Calvin Deutschbein

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 13

Top Topics

Scale Invariance

Linear Temporal Logic

Information Flows

Special Session

Top Venues

Publications

Calvin Deutschbein, Andres Meza, Francesco Restuccia, Ryan Kastner, Cynthia Sturton
Isadora: automated information-flow property generation for hardware security verification. J. Cryptogr. Eng. 13 (4) (2023)
Sohrab Aftabjahani, Mark M. 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
Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance. VTS (2023)
Calvin Deutschbein, Andres Meza, Francesco Restuccia, Matthew Gregoire, Ryan Kastner, Cynthia Sturton
Toward Hardware Security Property Generation at Scale. IEEE Secur. Priv. 20 (3) (2022)
Rui Zhang, Calvin Deutschbein, Peng Huang, Cynthia Sturton
End-to-End Automated Exploit Generation for Processor Security Validation. IEEE Des. Test 38 (3) (2021)
Calvin Deutschbein
Mining Secure Behavior of Hardware Designs. CoRR (2021)
Calvin Deutschbein, Andres Meza, Francesco Restuccia, Ryan Kastner, Cynthia Sturton
Isadora: Automated Information Flow Property Generation for Hardware Designs. ASHES@CCS (2021)
Calvin Deutschbein, Andres Meza, Francesco Restuccia, Ryan Kastner, Cynthia Sturton
A Methodology For Creating Information Flow Specifications of Hardware Designs. CoRR (2021)
Calvin Deutschbein, Cynthia Sturton
Evaluating Security Specification Mining for a CISC Architecture. HOST (2020)
Calvin Deutschbein, Tom Fleming, Alan Burns, Sanjoy K. Baruah
Multi-core cyclic executives for safety-critical systems. Sci. Comput. Program. 172 (2019)
Calvin Deutschbein, Cynthia Sturton
Mining Security Critical Linear Temporal Logic Specifications for Processors. MTV (2018)
Rui Zhang, Calvin Deutschbein, Peng Huang, Cynthia Sturton
End-to-End Automated Exploit Generation for Validating the Security of Processor Designs. MICRO (2018)
Calvin Deutschbein, Tom Fleming, Alan Burns, Sanjoy K. Baruah
Multi-core Cyclic Executives for Safety-Critical Systems. SETTA (2017)
Calvin Deutschbein, Sanjoy K. Baruah
Preemptive Uniprocessor EDF Schedulability Analysis with Preemption Costs Considered. RTSS (2016)
Tung Thanh Hoang, Amirali Shambayati, Calvin Deutschbein, Henry Hoffmann, Andrew A. Chien
Performance and energy limits of a processor-integrated FFT accelerator. HPEC (2014)