Cited By
View all- Harrison WBlumenfeld IBond EHathhorn CLi PTorrence MZiegler J(2023)Formalized High Level Synthesis with Applications to Cryptographic HardwareNASA Formal Methods10.1007/978-3-031-33170-1_20(332-352)Online publication date: 3-Jun-2023
- Harrison WAllwein GDi Natale GFummi F(2020)Verifiable security templates for hardwareProceedings of the 23rd Conference on Design, Automation and Test in Europe10.5555/3408352.3408502(658-661)Online publication date: 9-Mar-2020
- Harrison WAllwein G(2020)Verifiable Security Templates for Hardware2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE48585.2020.9116342(658-661)Online publication date: Mar-2020
- Show More Cited By