Publications

My research is in formal verification of network security (automatically verified firewall and security-policy configuration in SDN/NFV and 5G) and, more recently, formal verification of automotive communication. The full list is on my profiles: