معرفی
Paolo Modesti is a Senior Lecturer in Cybersecurity at Teesside University's School of Computing, Engineering and Digital Technologies. He holds a PhD in Computer Science from Ca' Foscari University Venice, Italy, and an MSc from the University of Udine. His research focuses on security protocols, formal methods, and tool development for secure systems. He is a Fellow of the Higher Education Academy and a licensed professional engineer.
Dr. Modesti's work includes designing formal verification frameworks (e.g., AnBx compiler/IDE) and analyzing protocols like Open Banking APIs and Bitcoin's Payment Protocol. He actively contributes to academic conferences (e.g., IEEE, ACM) and serves on program committees for security-related events. His teaching roles include leading the BSc Cyber Security program and modules on Ethical Hacking and Security Analysis.
Research interests span security protocol modeling, automatic code generation, intrusion detection systems, and blockchain security. He advocates bridging the gap between academic tools and industry practices through frameworks like PTES and MITRE ATT&CK. His tools, such as the AnBx ecosystem, aim to simplify formal methods adoption for practitioners.
