Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Paolo Modesti.

Newcastle AuthorsTitleYearFull text
Dr Leo Freitas
Dr Paolo Modesti
Account and Transaction Protocol of the Open Banking Standard2020
Dr Leo Freitas
Dr Paolo Modesti
Dr Martin Emms
A methodology for protocol verification applied to EMV® 12018
Dr Paolo Modesti
AnBx: Automatic Generation and Verification of Security Protocols Implementations2016
Dr Paolo Modesti
Security protocol specification and verification with AnBx2016
Dr Paolo Modesti
Typing and Compositionality for Security Protocols: A Generalization to the Geometric Fragment2015
Dr Paolo Modesti
Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx 2014
Dr Paolo Modesti
Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx2014