AnBx - Security Protocols Design and Verification. - Michele Bugliesi; Paolo Modesti (ARSPA-WITS, 2010)

Verifying SeVeCom using set-based abstraction. - Sebastian Mödersheim; Paolo Modesti (IWCMC, 2011)

Verified security protocol modeling and implementation with AnBx. - Paolo Modesti (2012)

Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx. - Paolo Modesti (STM, 2014)

Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment. - Omar Almousa; Sebastian Mödersheim; Paolo Modesti; Luca Viganò 001 (ESORICS (2), 2015)

AnBx: Automatic Generation and Verification of Security Protocols Implementations. - Paolo Modesti (FPS, 2015)

Security protocol specification and verification with AnBx. - Michele Bugliesi; Stefano Calzavara; Sebastian Mödersheim; Paolo Modesti (J. Inf. Secur. Appl., 2016)

An IDE for the Design, Verification and Implementation of Security Protocols. - Rémi Garcia 001; Paolo Modesti (ISSRE Workshops, 2017)

A Methodology for Protocol Verification Applied to EMV® 1. - Leo Freitas; Paolo Modesti; Martin Emms (SBMF, 2018)

Account and Transaction Protocol of the Open Banking Standard. - Abdulaziz Almehrej; Leo Freitas; Paolo Modesti (ABZ, 2020)

Security Analysis of the Open Banking Account and Transaction API Protocol. - Abdulaziz Almehrej; Leo Freitas; Paolo Modesti (CoRR, 2020)

Integrating Formal Methods for Security in Software Security Education. - Paolo Modesti (Informatics Educ., 2020)

Formal modelling and security analysis of bitcoin's payment protocol. - Paolo Modesti; Siamak F. Shahandashti; Patrick McCorry; Feng Hao 001 (Comput. Secur., 2021)

A Script-based Approach for Teaching and Assessing Android Application Development. - Paolo Modesti (ACM Trans. Comput. Educ., 2021)

A Survey on Intrusion Detection Systems for Fog and Cloud Computing. - Victor Chang 001; Lewis Golightly; Paolo Modesti; Qianwen Ariel Xu; Le Minh Thao Doan; Karl Hall; Sreeja Boddu; Anna Kobusinska (Future Internet, 2022)

Formal Modeling and Security Analysis of Security Protocols. - Paolo Modesti; Rémi Garcia 001 (Handb. Formal Anal. Verification Cryptogr., 2023)

Deploying Secure Distributed Systems: Comparative Analysis of GNS3 and SEED Internet Emulator. - Lewis Golightly; Paolo Modesti; Victor Chang 001 (J. Cybersecur. Priv., 2023)

Securing distributed systems: A survey on access control techniques for cloud, blockchain, IoT and SDN. - Lewis Golightly; Paolo Modesti; Rémi Garcia 001; Victor Chang 001 (Cyber Secur. Appl., 2023)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols. - Rémi Garcia 001; Paolo Modesti (CoRR, 2024)

Automatic generation of security protocols attacks specifications and implementations. - Rémi Garcia 001; Paolo Modesti (Cyber Secur. Appl., 2024)

Bridging the Gap: A Survey and Classification of Research-Informed Ethical Hacking Tools. - Paolo Modesti; Lewis Golightly; Louis Holmes; Chidimma Opara; Marco Moscini (J. Cybersecur. Priv., 2024)

Evaluating spam filters and Stylometric Detection of AI-generated phishing emails. - Chidimma Opara; Paolo Modesti; Lewis Golightly (Expert Syst. Appl., 2025)