Calvin Deutschbein

According to our database, Calvin Deutschbein authored at least 14 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Isadora: automated information-flow property generation for hardware security verification.

Calvin Deutschbein, Andres Meza, Francesco Restuccia, Ryan Kastner, Cynthia Sturton

J. Cryptogr. Eng., November, 2023

Special Session: CAD for Hardware Security - Promising Directions for Automation of Security Assurance.

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

Proceedings of the 41st IEEE VLSI Test Symposium, 2023

2022

Toward Hardware Security Property Generation at Scale.

Calvin Deutschbein, Andres Meza, Francesco Restuccia, Matthew Gregoire, Ryan Kastner, Cynthia Sturton

IEEE Secur. Priv., 2022

2021

Mining Secure Behavior of Hardware Designs.

Calvin Deutschbein

PhD thesis, 2021

End-to-End Automated Exploit Generation for Processor Security Validation.

Rui Zhang, Calvin Deutschbein, Peng Huang, Cynthia Sturton

IEEE Des. Test, 2021

Mining Secure Behavior of Hardware Designs.

Calvin Deutschbein

CoRR, 2021

A Methodology For Creating Information Flow Specifications of Hardware Designs.

Calvin Deutschbein, Andres Meza, Francesco Restuccia, Ryan Kastner, Cynthia Sturton

CoRR, 2021

Isadora: Automated Information Flow Property Generation for Hardware Designs.

Calvin Deutschbein, Andres Meza, Francesco Restuccia, Ryan Kastner, Cynthia Sturton

Proceedings of the ASHES@CCS 2021: Proceedings of the 5th Workshop on Attacks and Solutions in Hardware Security, 2021

2020

Evaluating Security Specification Mining for a CISC Architecture.

Calvin Deutschbein, Cynthia Sturton

Proceedings of the 2020 IEEE International Symposium on Hardware Oriented Security and Trust, 2020

2019

Multi-core cyclic executives for safety-critical systems.

Calvin Deutschbein, Tom Fleming, Alan Burns, Sanjoy K. Baruah

Sci. Comput. Program., 2019

2018

Mining Security Critical Linear Temporal Logic Specifications for Processors.

Calvin Deutschbein, Cynthia Sturton

Proceedings of the 19th International Workshop on Microprocessor and SOC Test and Verification, 2018

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

Rui Zhang, Calvin Deutschbein, Peng Huang, Cynthia Sturton

Proceedings of the 51st Annual IEEE/ACM International Symposium on Microarchitecture, 2018

2016

Preemptive Uniprocessor EDF Schedulability Analysis with Preemption Costs Considered.

Calvin Deutschbein, Sanjoy K. Baruah

Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

2014

Performance and energy limits of a processor-integrated FFT accelerator.

Tung Thanh Hoang, Amirali Shambayati, Calvin Deutschbein, Henry Hoffmann, Andrew A. Chien

Proceedings of the IEEE High Performance Extreme Computing Conference, 2014