Paolo Modesti

发表

Security protocol specification and verification with AnBx

Michele Bugliesi, Sebastian Mödersheim, Stefano Calzavara, 2016, J. Inf. Secur. Appl..

An Integrated Development Environment for the Design, Verification and Implementation of Security Protocols

Paolo Modesti, Remi Garcia, 2017 .

AnBx - Security Protocols Design and Verification

Michele Bugliesi, Paolo Modesti, 2010, ARSPA-WITS.

Security Evaluation of FutureID

Sebastian Mödersheim, Paolo Modesti, Thomas Groß, 2015 .

Abstractions for Distributed Protocol Design

Michele Bugliesi, Paolo Modesti, 2010 .

Design and Analysis of Distributed Protocols with AnBx

Michele Bugliesi, Paolo Modesti, 2010 .

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Sebastian Mödersheim, Luca Viganò, Paolo Modesti, 2015, ESORICS 2015.

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

Sebastian Mödersheim, Luca Viganò, Paolo Modesti, 2015, ESORICS.

Verified security protocol modeling and implementation with AnBx

Paolo Modesti, P. Modesti, 2012 .

AnBx: Automatic Generation and Verification of Security Protocols Implementations

Paolo Modesti, 2015, FPS.

Integrating Formal Methods for Security in Software Security Education

Paolo Modesti, P. Modesti, 2020, Informatics Educ..

Verifying SeVeCom using set-based abstraction

Sebastian Mödersheim, Paolo Modesti, 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.

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

Paolo Modesti, Remi Garcia, 2017, 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

A Methodology for Protocol Verification Applied to EMV® 1

Martin Emms, Paolo Modesti, Leo Freitas, 2018, SBMF.

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

Paolo Modesti, Leo Freitas, Abdulaziz Almehrej, 2020, ArXiv.

Security Programming with High-Level Abstractions: a Tutorial (Extended Abstract)

Paolo Modesti, 2016 .

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

Paolo Modesti, P. Modesti, 2014, STM.

Automatic Generation of Security Protocols Implementations: (Extended Abstract)

Paolo Modesti, 2015 .

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

Paolo Modesti, P. Modesti, 2021, ACM Trans. Comput. Educ..

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol

Feng Hao, Paolo Modesti, Patrick McCorry, 2021, Comput. Secur..