I am a postdoctorial researcher in the Department of Network and Systems Engineering (NSE) department at KTH/EECS.
My research in this position focuses on security protocol verification, as well as hardware vulnerabilities such as micro-architectural side-channels.
