A successful year for the Nanosecurity SPP!

December 14, 2022

Two papers, partly funded by the SPP HaSPro project, receive awards:

The paper
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.

Intel representatives and TUK/Lübeck team
Intel representatives and TUK/Lübeck team

Further Information

To the top of the page