Paolo Modesti

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 14

Top Topics

Intrusion Detection

Distributed Systems

Security Protocols

Top Venues

Cyber Secur. Appl.

Informatics Educ.

Publications

Paolo Modesti, Lewis Golightly, Louis Holmes, Chidimma Opara, Marco Moscini
Bridging the Gap: A Survey and Classification of Research-Informed Ethical Hacking Tools. CoRR (2024)
Rémi Garcia, Paolo Modesti
Automatic generation of security protocols attacks specifications and implementations. Cyber Secur. Appl. 2 (2024)
Lewis Golightly, Paolo Modesti, Victor Chang
Deploying Secure Distributed Systems: Comparative Analysis of GNS3 and SEED Internet Emulator. J. Cybersecur. Priv. 3 (3) (2023)
Lewis Golightly, Paolo Modesti, Rémi Garcia, Victor Chang
Securing distributed systems: A survey on access control techniques for cloud, blockchain, IoT and SDN. Cyber Secur. Appl. 1 (2023)
Victor Chang, Lewis Golightly, Paolo Modesti, Qianwen Ariel Xu, Le Minh Thao Doan, Karl Hall, Sreeja Boddu, Anna Kobusinska
A Survey on Intrusion Detection Systems for Fog and Cloud Computing. Future Internet 14 (3) (2022)
Paolo Modesti, Siamak F. Shahandashti, Patrick McCorry, Feng Hao
Formal modelling and security analysis of bitcoin's payment protocol. Comput. Secur. 107 (2021)
Paolo Modesti, Siamak F. Shahandashti, Patrick McCorry, Feng Hao
Formal Modelling and Security Analysis of Bitcoin's Payment Protocol. CoRR (2021)
Paolo Modesti
A Script-based Approach for Teaching and Assessing Android Application Development. ACM Trans. Comput. Educ. 21 (1) (2021)
Abdulaziz Almehrej, Leo Freitas, Paolo Modesti
Security Analysis of the Open Banking Account and Transaction API Protocol. CoRR (2020)
Paolo Modesti
Integrating Formal Methods for Security in Software Security Education. Informatics Educ. 19 (3) (2020)
Abdulaziz Almehrej, Leo Freitas, Paolo Modesti
Account and Transaction Protocol of the Open Banking Standard. ABZ (2020)
Leo Freitas, Paolo Modesti, Martin Emms
A Methodology for Protocol Verification Applied to EMV® 1. SBMF (2018)
Remi Garcia, Paolo Modesti
An IDE for the Design, Verification and Implementation of Security Protocols. ISSRE Workshops (2017)
Michele Bugliesi, Stefano Calzavara, Sebastian Mödersheim, Paolo Modesti
Security protocol specification and verification with AnBx. J. Inf. Secur. Appl. 30 (2016)
Omar Almousa, Sebastian Mödersheim, Paolo Modesti, Luca Viganò
Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment. ESORICS (2) (2015)
Paolo Modesti
AnBx: Automatic Generation and Verification of Security Protocols Implementations. FPS (2015)
Paolo Modesti
Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx. STM (2014)
Sebastian Mödersheim, Paolo Modesti
Verifying SeVeCom using set-based abstraction. IWCMC (2011)
Michele Bugliesi, Paolo Modesti
AnBx - Security Protocols Design and Verification. ARSPA-WITS (2010)