Research

My research interests lie in formal methods tools and their applications, with a particular focus on security.

Publications: