%0 Conference Paper %1 conf/iccad/JauchWFSRFFSK23 %A Jauch, Tobias %A Wezel, Alex %A Fadiheh, Mohammad Rahmani %A Schmitz, Philipp %A Ray, Sayak %A Fung, Jason M. %A Fletcher, Christopher W. %A Stoffel, Dominik %A Kunz, Wolfgang %B ICCAD %D 2023 %I IEEE %K dblp %P 1-9 %T Secure-by-Construction Design Methodology for CPUs: Implementing Secure Speculation on the RTL. %U http://dblp.uni-trier.de/db/conf/iccad/iccad2023.html#JauchWFSRFFSK23 %@ 979-8-3503-2225-5

@inproceedings{conf/iccad/JauchWFSRFFSK23, added-at = {2024-01-03T00:00:00.000+0100}, author = {Jauch, Tobias and Wezel, Alex and Fadiheh, Mohammad Rahmani and Schmitz, Philipp and Ray, Sayak and Fung, Jason M. and Fletcher, Christopher W. and Stoffel, Dominik and Kunz, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/21a7c55f67e00f34ad06e882af172e0a7/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/2023}, ee = {https://doi.org/10.1109/ICCAD57390.2023.10323843}, interhash = {0dbc8bdb9fab3ab541c3a47feeaf7252}, intrahash = {1a7c55f67e00f34ad06e882af172e0a7}, isbn = {979-8-3503-2225-5}, keywords = {dblp}, pages = {1-9}, publisher = {IEEE}, timestamp = {2024-04-09T19:27:05.000+0200}, title = {Secure-by-Construction Design Methodology for CPUs: Implementing Secure Speculation on the RTL.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2023.html#JauchWFSRFFSK23}, year = 2023 }