Johannes Müller

Johannes Müller received his Dipl.-Ing. degree in Electrical and Computer Engineering from the Technische Universität Kaiserslautern in 2018. He is currently a Ph.D. candidate and researcher at the Electronic Design Automation group at Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, working under supervision of Prof. Wolfgang Kunz and Prof. Dominik Stoffel.

His research interests include formal security verification, access control mechanisms and timing side channels. He co-authored the DAC ’22 best paper award winning work on verification of data-independent timing. For his work on SoC-wide security verification, he received the Intel Hardware Security Academic Award 2022.