Research in formal methods and security