Paolo Modesti

According to our database, Paolo Modesti authored at least 18 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Securing distributed systems: A survey on access control techniques for cloud, blockchain, IoT and SDN.

Lewis Golightly, Paolo Modesti, Rémi Garcia, Victor Chang

Cyber Secur. Appl., December, 2023

Deploying Secure Distributed Systems: Comparative Analysis of GNS3 and SEED Internet Emulator.

Lewis Golightly, Paolo Modesti, Victor Chang

J. Cybersecur. Priv., August, 2023

Formal Modeling and Security Analysis of Security Protocols.

Paolo Modesti, Rémi Garcia

Proceedings of the Handbook of Formal Analysis and Verification in Cryptography, 2023

2022

A Survey on Intrusion Detection Systems for Fog and Cloud Computing.

Victor Chang, Lewis Golightly, Paolo Modesti, Qianwen Ariel Xu, Le Minh Thao Doan, Karl Hall, Sreeja Boddu, Anna Kobusinska

Future Internet, 2022

2021

A Script-based Approach for Teaching and Assessing Android Application Development.

Paolo Modesti

ACM Trans. Comput. Educ., 2021

Formal modelling and security analysis of bitcoin's payment protocol.

Paolo Modesti, Siamak F. Shahandashti, Patrick McCorry, Feng Hao

Comput. Secur., 2021

2020

Integrating Formal Methods for Security in Software Security Education.

Paolo Modesti

Informatics Educ., 2020

Security Analysis of the Open Banking Account and Transaction API Protocol.

Abdulaziz Almehrej, Leo Freitas, Paolo Modesti

CoRR, 2020

Account and Transaction Protocol of the Open Banking Standard.

Abdulaziz Almehrej, Leo Freitas, Paolo Modesti

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2018

A Methodology for Protocol Verification Applied to EMV® 1.

Leo Freitas, Paolo Modesti, Martin Emms

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

2017

An IDE for the Design, Verification and Implementation of Security Protocols.

Rémi Garcia, Paolo Modesti

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

2016

Security protocol specification and verification with AnBx.

Michele Bugliesi, Stefano Calzavara, Sebastian Mödersheim, Paolo Modesti

J. Inf. Secur. Appl., 2016

2015

AnBx: Automatic Generation and Verification of Security Protocols Implementations.

Paolo Modesti

Proceedings of the Foundations and Practice of Security - 8th International Symposium, 2015

Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment.

Omar Almousa, Sebastian Mödersheim, Paolo Modesti, Luca Viganò

Proceedings of the Computer Security - ESORICS 2015, 2015

2014

Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx.

Paolo Modesti

Proceedings of the Security and Trust Management - 10th International Workshop, 2014

2012

Verified security protocol modeling and implementation with AnBx.

Paolo Modesti

PhD thesis, 2012

2011

Verifying SeVeCom using set-based abstraction.

Sebastian Mödersheim, Paolo Modesti

Proceedings of the 7th International Wireless Communications and Mobile Computing Conference, 2011

2010

AnBx - Security Protocols Design and Verification.

Michele Bugliesi, Paolo Modesti

Proceedings of the Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010