Paolo Modesti
Geciteerd door
Geciteerd door
Typing and compositionality for security protocols: a generalization to the geometric fragment
O Almousa, S Mödersheim, P Modesti, L Viganò
European Symposium on Research in Computer Security, 209-229, 2015
Security protocol specification and verification with AnBx
M Bugliesi, S Calzavara, S Mödersheim, P Modesti
Journal of Information Security and Applications 30, 46-63, 2016
Efficient Java code generation of security protocols specified in AnB/AnBx
P Modesti
International Workshop on Security and Trust Management, 204-208, 2014
AnBx: Automatic generation and verification of security protocols implementations
P Modesti
International Symposium on Foundations and Practice of Security, 156-173, 2015
AnBx-Security Protocols Design and Verification
M Bugliesi, P Modesti
Joint Workshop on Automated Reasoning for Security Protocol Analysis and …, 2010
Verifying Sevecom using set-based abstraction
S Mödersheim, P Modesti
Wireless Communications and Mobile Computing Conference (IWCMC), 2011 7th …, 2011
An IDE for the Design, Verification and Implementation of Security Protocols
R Garcia, P Modesti
IEEE International Symposium on Software Reliability Engineering Workshops …, 2017
Verified security protocol modeling and implementation with AnBx
P Modesti
Università Ca' Foscari Venezia, 2012
A Methodology for Protocol Verification Applied to EMV® 1
L Freitas, P Modesti, M Emms
Brazilian Symposium on Formal Methods, 180-197, 2018
Efficient Java code generation of security protocols specified in AnB
P Modesti
AnBx. Technical Report CS-TR-1422, Newcastle University, 2014
Account and Transaction Protocol of the Open Banking Standard
A Almehrej, L Freitas, P Modesti
International Conference on Rigorous State-Based Methods, 230-236, 2020
Security Analysis of the Open Banking Account and Transaction API Protocol
A Almehrej, L Freitas, P Modesti
arXiv preprint arXiv:2003.12776, 2020
Typing and compositionality for security protocols: a generalization to the geometric fragment (extended version)
O Almousa, SA Mödersheim, P Modesti, L Viganò
Technical University of Denmark, 2015
A script-based approach for teaching and assessing Android application development
P Modesti
ACM Transactions on Computing Education (TOCE) 21 (1), 1-24, 2021
Security Evaluation of FutureID
P Modesti, T Gross, O Almousa, S Mödersheim, D Houdeau
FutureID, 2015
Formal modelling and security analysis of bitcoin’s payment protocol
P Modesti, SF Shahandashti, P McCorry, F Hao
Computers & Security 107, 102279, 2021
Integrating Formal Methods for Security in Software Security Education
P Modesti
Informatics in Education 19 (3), 425-454, 2020
Security Programming with High-Level Abstractions: a Tutorial (Extended Abstract)
P Modesti
HEA National Conference on Learning and Teaching in Cybersecurity, 2016
FutureID - Recommendations and Future Work
T Gross, K Coopamootoo, P Modesti, NI Aranda, J Schroers, H Obersteller, ...
FutureID, 2015
APS Files for Selected Authentication Protocols
S Mödersheim, M Horsch, P Modesti, O Almousa
FutureID, 2015
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20