Cited By
View all- Chen RSander I(2024)A Quantitative Type Approach to Formal Component-Based System Design2024 Forum on Specification & Design Languages (FDL)10.1109/FDL63219.2024.10673844(1-10)Online publication date: 4-Sep-2024
- 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
- Show More Cited By