Name:Jana Hofmann

Bio:

Jana is a postdoctoral researcher at Microsoft (Azure Research) interested in specification languages and algorithms for relational properties (hyperproperties). Currently, she works on modelling information leakage through microarchtectural side channels.

Jana obtained her PhD from Saarland University (while working at CISPA) in 2022, where she was advised by Bernd Finkbeiner.

Country:United Kingdom

Affiliation:Microsoft Azure Research

Research interests:Information Flow Security, Formal Methods, Logics