Paolo Modesti

25 papers B 1C 1Journal 15Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Evaluating spam filters and Stylometric Detection of AI-generated phishing emails.
Expert Syst. Appl.
Chidimma Opara, Paolo Modesti, Lewis Golightly
2025 J jnl
LightCross: A Lightweight Smart Contract Vulnerability Detection Tool.
Comput.
Ioannis Sfyrakis, Paolo Modesti, Lewis Golightly, Minaro Ikegima
2024 J jnl
A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols.
CoRR
Rémi Garcia, Paolo Modesti
2024 J jnl
Automatic generation of security protocols attacks specifications and implementations.
Cyber Secur. Appl.
Rémi Garcia, Paolo Modesti
2024 J jnl
Bridging the Gap: A Survey and Classification of Research-Informed Ethical Hacking Tools.
CoRR
Paolo Modesti, Lewis Golightly, Louis Holmes, Chidimma Opara, Marco Moscini
2024 J jnl
Bridging the Gap: A Survey and Classification of Research-Informed Ethical Hacking Tools.
J. Cybersecur. Priv.
Paolo Modesti, Lewis Golightly, Louis Holmes, Chidimma Opara, Marco Moscini
2023 J jnl
Deploying Secure Distributed Systems: Comparative Analysis of GNS3 and SEED Internet Emulator.
J. Cybersecur. Priv.
Lewis Golightly, Paolo Modesti, Victor Chang
2023 — ch.
Formal Modeling and Security Analysis of Security Protocols.
Handb. Formal Anal. Verification Cryptogr.
Paolo Modesti, Rémi Garcia
2023 J jnl
Securing distributed systems: A survey on access control techniques for cloud, blockchain, IoT and SDN.
Cyber Secur. Appl.
Lewis Golightly, Paolo Modesti, Rémi Garcia, Victor Chang
2022 J jnl
A Survey on Intrusion Detection Systems for Fog and Cloud Computing.
Future Internet
Victor Chang, Lewis Golightly, Paolo Modesti, Qianwen Ariel Xu, Le Minh Thao Doan, Karl Hall, Sreeja Boddu, Anna Kobusinska
2021 J jnl
A Script-based Approach for Teaching and Assessing Android Application Development.
ACM Trans. Comput. Educ.
Paolo Modesti
2021 J jnl
Formal Modelling and Security Analysis of Bitcoin's Payment Protocol.
CoRR
Paolo Modesti, Siamak F. Shahandashti, Patrick McCorry, Feng Hao
2021 J jnl
Formal modelling and security analysis of bitcoin's payment protocol.
Comput. Secur.
Paolo Modesti, Siamak F. Shahandashti, Patrick McCorry, Feng Hao
2020 C conf
Account and Transaction Protocol of the Open Banking Standard.
ABZ
Abdulaziz Almehrej, Leo Freitas, Paolo Modesti
2020 J jnl
Integrating Formal Methods for Security in Software Security Education.
Informatics Educ.
Paolo Modesti
2020 J jnl
Security Analysis of the Open Banking Account and Transaction API Protocol.
CoRR
Abdulaziz Almehrej, Leo Freitas, Paolo Modesti
2018 — conf
A Methodology for Protocol Verification Applied to EMV® 1.
SBMF
Leo Freitas, Paolo Modesti, Martin Emms
2017 — conf
An IDE for the Design, Verification and Implementation of Security Protocols.
ISSRE Workshops
Rémi Garcia, Paolo Modesti
2016 J jnl
Security protocol specification and verification with AnBx.
J. Inf. Secur. Appl.
Michele Bugliesi, Stefano Calzavara, Sebastian Mödersheim, Paolo Modesti
2015 — conf
AnBx: Automatic Generation and Verification of Security Protocols Implementations.
FPS
Paolo Modesti
2015 — conf
Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment.
ESORICS (2)
Omar Saad Almousa, Sebastian Mödersheim, Paolo Modesti, Luca Viganò
2014 — conf
Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx.
STM
Paolo Modesti
2012 — —
Verified security protocol modeling and implementation with AnBx.
Paolo Modesti
2011 B conf
Verifying SeVeCom using set-based abstraction.
IWCMC
Sebastian Mödersheim, Paolo Modesti
2010 — conf
AnBx - Security Protocols Design and Verification.
ARSPA-WITS
Michele Bugliesi, Paolo Modesti