Suivre
Calvin Deutschbein
Calvin Deutschbein
Computer Science, School of Computing and Informationn Sciences, Willamette University
Adresse e-mail validée de willamette.edu - Page d'accueil
Titre
Citée par
Citée par
Année
End-to-end automated exploit generation for validating the security of processor designs
R Zhang, C Deutschbein, P Huang, C Sturton
2018 51st Annual IEEE/ACM International Symposium on Microarchitecture …, 2018
642018
Performance and energy limits of a processor-integrated fft accelerator
T Thanh-Hoang, A Shambayati, C Deutschbein, H Hoffmann, AA Chien
2014 IEEE High Performance Extreme Computing Conference (HPEC), 1-6, 2014
182014
Multi-core cyclic executives for safety-critical systems
C Deutschbein, T Fleming, A Burns, S Baruah
Science of Computer Programming 172, 102-116, 2019
162019
Mining security critical linear temporal logic specifications for processors
C Deutschbein, C Sturton
2018 19th International Workshop on Microprocessor and SOC Test and …, 2018
142018
Isadora: Automated Information Flow Property Generation for Hardware Designs
C Deutschbein, A Meza, F Restuccia, R Kastner, C Sturton
Proceedings of the 5th Workshop on Attacks and Solutions in Hardware …, 2021
122021
Toward Hardware Security Property Generation at Scale
C Deutschbein, A Meza, F Restuccia, M Gregoire, R Kastner, C Sturton
IEEE Security & Privacy 20 (3), 43-51, 2022
62022
Evaluating Security Specification Mining for a CISC Architecture
C Deutschbein, C Sturton
2020 IEEE International Symposium on Hardware Oriented Security and Trust …, 2020
62020
Isadora: automated information-flow property generation for hardware security verification
C Deutschbein, A Meza, F Restuccia, R Kastner, C Sturton
Journal of Cryptographic Engineering 13 (4), 391-407, 2023
42023
End-to-End Automated Exploit Generation for Processor Security Validation
R Zhang, C Deutschbein, P Huang, C Sturton
IEEE Design & Test 38 (3), 22-30, 2021
32021
Mining Secure Behavior of Hardware Designs
C Deutschbein
The University of North Carolina at Chapel Hill, 2021
12021
A methodology for creating information–flow specifications of hardware designs
C Deutschbein, A Meza, F Restuccia, R Kastner, C Sturton
CoRR, 2021
12021
Special Session: CAD for Hardware Security-Promising Directions for Automation of Security Assurance
S Aftabjahani, M Tehranipoor, F Farahmandi, B Ahmed, R Kastner, ...
2023 IEEE 41st VLSI Test Symposium (VTS), 1-10, 2023
2023
Preemptive Uniprocessor EDF Schedulability Analysis with Preemption Costs Considered.
C Deutschbein, SK Baruah
RTSS, 368, 2016
2016
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–13