| Title: |
Secure-by-Construction Design Methodology for CPUs: Implementing Secure Speculation on the RTL |
| Authors: |
Jauch, Tobias; Wezel, Alex; Fadiheh, Mohammad R.; Schmitz, Philipp; Ray, Sayak; Fung, Jason M.; Fletcher, Christopher W.; Stoffel, Dominik; Kunz, Wolfgang |
| Source: |
2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD) Computer Aided Design (ICCAD), 2023 IEEE/ACM International Conference on. :1-9 Oct, 2023 |
| Relation: |
2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD) |
| Database: |
IEEE Xplore Digital Library |