Towards a Formally Verified Hardware Root-of-Trust for Data-Oblivious Computing. L. Deutschmann; J. Müller; M. R. Fadiheh; D. Stoffel and W. Kunz. In Procceedings of IEEE/ACM Design Automation Conference (DAC), 2022, 2022.
Wins the prestigious Best Paper Award at Design Automation Conference (DAC) 2022.
Intel Corporation rewards the paper
A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level. Johannes Müller; Mohammad R. Fadiheh; Anna Duque Anton; Thomas Eisenbarth; Dominik Stoffel and Wolfgang Kunz. In Proceedings of the 58th IEEE/ACM Design Automation Conference (DAC’21), San Francisco CA, USA, 2021.
With the Intel Hardware Security Academic Award 2022 (First Price) The award comes with a reasearch gift of $75k.