**Abstract**: In this talk I will discuss how a transition from a theory-heavy PhD to more application-oriented research in industry might look like, and why for me, that step did not feel so big after all. During my PhD, I worked on so-called ‘hyperproperties’, an abstract class of properties that relate multiple execution traces of a system. I developed logics for hyperproperties, studied their decidability, and proposed algorithms for their verification and synthesis problems. Today, in my role as researcher at Microsoft, I focus on modelling information leakage through microarchitectural side channels. I will show how these two topics connect and how hyperproperty reasoning techniques enable an efficient modelling and testing process to detect information leakage in modern CPUs.
**Bio**: Jana Hofmann is a postdoctoral researcher at Azure Research, Microsoft, where she works on detecting and preventing information leakage through microarchitectural side channels. Before joining Microsoft, Jana obtained a Ph.D. from Saarland University/CISPA Helmholtz Center for Information Security (Germany), where she was advised by Bernd Finkbeiner. She also holds a Master’s degree in Computer Science from the University of Edinburgh.