Personal information

Verified email addresses

Verified email domains

United States

Activities

Employment (2)

Willamette University: Salem, Oregon, US

2021-08-16 to present | Assistant Professor (Computer Science)
Employment
Source: Self-asserted source
Calvin Deutschbein

Elon University: Elon, North Carolina, US

2020-02 to 2020-05 | Adjunct Professor (Computer Science)
Employment
Source: Self-asserted source
Calvin Deutschbein

Education and qualifications (3)

University of North Carolina at Chapel Hill: Chapel Hill, North Carolina, US

2015-08 to 2021-08 | Ph.D. Computer Science (Computer Science)
Education
Source: Self-asserted source
Calvin Deutschbein

University of North Carolina at Chapel Hill: Chapel Hill, North Carolina, US

2015-08 to 2017-08 | Master of Science (Computer Science)
Education
Source: Self-asserted source
Calvin Deutschbein

The University of Chicago: Chicago, Illinois, US

2011-08 to 2015-06 | B.S./B.A. (Computer Science, Mathematics)
Education
Source: Self-asserted source
Calvin Deutschbein

Professional activities (3)

Semiconductor Research Corporation: Durham, North Carolina, US

Research Scholar
Invited position
Source: Self-asserted source
Calvin Deutschbein

IEEE Computer Society: Washington, DC, US

2012 to present
Membership
Source: Self-asserted source
Calvin Deutschbein

Association for Computing Machinery: New York, NY, US

2012 to present
Membership
Source: Self-asserted source
Calvin Deutschbein

Works (11)

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

Journal of Cryptographic Engineering
2023-11 | Journal article
Contributors: Calvin Deutschbein; Andres Meza; Francesco Restuccia; Ryan Kastner; Cynthia Sturton
Source: check_circle
Crossref

Toward Hardware Security Property Generation at Scale

IEEE Security & Privacy
2022 | Journal article
Contributors: Calvin Deutschbein; Andres Meza; Francesco Restuccia; Matthew Gregoire; Ryan Kastner; Cynthia Sturton
Source: check_circle
Crossref

Isadora: Automated Information Flow Property Generation for Hardware Designs

Proceedings of the 5th Workshop on Attacks and Solutions in Hardware Security
2021-11-19 | Conference paper
Source: Self-asserted source
Calvin Deutschbein

Mining Secure Behavior of Hardware Designs

2021-08-29 | Dissertation or Thesis
Source: Self-asserted source
Calvin Deutschbein

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

IEEE Design & Test
2021-06 | Journal article
Part of ISSN: 2168-2356
Part of ISSN: 2168-2364
Source: Self-asserted source
Calvin Deutschbein

Evaluating Security Specification Mining for a CISC Architecture

2020 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)
2020-12-07 | Conference paper
Source: Self-asserted source
Calvin Deutschbein

Multi-core cyclic executives for safety-critical systems

Science of Computer Programming
2019-03 | Journal article
Part of ISSN: 0167-6423
Source: Self-asserted source
Calvin Deutschbein

Mining Security Critical Linear Temporal Logic Specifications for Processors

2018 19th International Workshop on Microprocessor and SOC Test and Verification (MTV)
2018-12 | Conference paper
Source: Self-asserted source
Calvin Deutschbein

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

2018 51st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO)
2018-10 | Conference paper
Source: Self-asserted source
Calvin Deutschbein

Preemptive Uniprocessor EDF Schedulability Analysis with Preemption Costs Considered

2016 IEEE Real-Time Systems Symposium (RTSS)
2016-11 | Conference paper
Source: Self-asserted source
Calvin Deutschbein

Performance and energy limits of a processor-integrated FFT accelerator

2014 IEEE High Performance Extreme Computing Conference (HPEC)
2014-09 | Conference paper
Source: Self-asserted source
Calvin Deutschbein

Peer review (1 review for 1 publication/grant)

Review activity for Journal of hardware and systems security. (1)