default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPaolo Modesti
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2012
[b1]Paolo Modesti:
Verified security protocol modeling and implementation with AnBx. Ca' Foscari University of Venice, Italy, 2012
Journal Articles
- 2024
- [j9]Rémi Garcia
, Paolo Modesti:
Automatic generation of security protocols attacks specifications and implementations. Cyber Secur. Appl. 2: 100038 (2024) - [j8]Paolo Modesti, Lewis Golightly, Louis Holmes, Chidimma Opara, Marco Moscini:
Bridging the Gap: A Survey and Classification of Research-Informed Ethical Hacking Tools. J. Cybersecur. Priv. 4(3): 410-448 (2024) - 2023
- [j7]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: 100015 (2023) - [j6]Lewis Golightly, Paolo Modesti, Victor Chang:
Deploying Secure Distributed Systems: Comparative Analysis of GNS3 and SEED Internet Emulator. J. Cybersecur. Priv. 3(3): 464-492 (2023) - 2022
- [j5]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): 89 (2022) - 2021
- [j4]Paolo Modesti, Siamak F. Shahandashti, Patrick McCorry, Feng Hao:
Formal modelling and security analysis of bitcoin's payment protocol. Comput. Secur. 107: 102279 (2021) - [j3]Paolo Modesti:
A Script-based Approach for Teaching and Assessing Android Application Development. ACM Trans. Comput. Educ. 21(1): 7:1-7:24 (2021) - 2020
- [j2]Paolo Modesti:
Integrating Formal Methods for Security in Software Security Education. Informatics Educ. 19(3): 425-454 (2020) - 2016
- [j1]Michele Bugliesi, Stefano Calzavara, Sebastian Mödersheim, Paolo Modesti:
Security protocol specification and verification with AnBx. J. Inf. Secur. Appl. 30: 46-63 (2016)
Conference and Workshop Papers
- 2020
- [c8]Abdulaziz Almehrej, Leo Freitas, Paolo Modesti:
Account and Transaction Protocol of the Open Banking Standard. ABZ 2020: 230-236 - 2018
- [c7]Leo Freitas, Paolo Modesti, Martin Emms:
A Methodology for Protocol Verification Applied to EMV® 1. SBMF 2018: 180-197 - 2017
- [c6]Rémi Garcia, Paolo Modesti:
An IDE for the Design, Verification and Implementation of Security Protocols. ISSRE Workshops 2017: 157-163 - 2015
- [c5]Omar Almousa, Sebastian Mödersheim, Paolo Modesti, Luca Viganò:
Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment. ESORICS (2) 2015: 209-229 - [c4]Paolo Modesti:
AnBx: Automatic Generation and Verification of Security Protocols Implementations. FPS 2015: 156-173 - 2014
- [c3]Paolo Modesti:
Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx. STM 2014: 204-208 - 2011
- [c2]Sebastian Mödersheim, Paolo Modesti:
Verifying SeVeCom using set-based abstraction. IWCMC 2011: 1164-1169 - 2010
- [c1]Michele Bugliesi, Paolo Modesti:
AnBx - Security Protocols Design and Verification. ARSPA-WITS 2010: 164-184
Parts in Books or Collections
- 2023
- [p1]Paolo Modesti, Rémi Garcia:
Formal Modeling and Security Analysis of Security Protocols. Handb. Formal Anal. Verification Cryptogr. 2023: 213-274
Informal and Other Publications
- 2024
- [i3]Paolo Modesti, Lewis Golightly, Louis Holmes, Chidimma Opara, Marco Moscini:
Bridging the Gap: A Survey and Classification of Research-Informed Ethical Hacking Tools. CoRR abs/2407.14255 (2024) - 2021
- [i2]Paolo Modesti, Siamak F. Shahandashti, Patrick McCorry, Feng Hao:
Formal Modelling and Security Analysis of Bitcoin's Payment Protocol. CoRR abs/2103.08436 (2021) - 2020
- [i1]Abdulaziz Almehrej, Leo Freitas, Paolo Modesti:
Security Analysis of the Open Banking Account and Transaction API Protocol. CoRR abs/2003.12776 (2020)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
