Roberto Metere

Dr. Roberto Metere is a Lecturer in Cyber Security and Privacy within the Department of Computer Science at the University of York. His research focuses on formal verification of security properties for cryptographic constructions, with applications in cyber-physical systems and 5G/6G security.

• Expertise in formal verification via computational/symbolic models
• Current work on cybersecurity in active buildings and post-quantum threats
• Academic services: Program Committee member for SEC@SAC, ESORICS, and WISE-2024
• Collaborator on multi-university projects including ABC and e4Future
• Developed ProVerif syntax highlight tools and educational resources

Research Analysis: His publications emphasize security mechanization in protocols across multiple domains including vehicle-to-grid systems, smart buildings, and wireless network standards. While specific titles aren't always provided in the scraped content, his work consistently bridges cryptography with real-world cybersecurity implementation.

Academic Contributions: Though no explicit scientific awards are listed, his role as Designated Expert for 802.11 security patches and Guest Editor for the Energies special issue on smart grid security demonstrate industry-standard technical authority.