conf.researchr.org / Jana Hofmann
Registered user since Thu 30 Mar 2023
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
Personal website: https://janahofmann.github.io/
Research interests:Information Flow Security, Formal Methods, Logics
Contributions