עקוב אחר
Paolo Modesti
Paolo Modesti
Senior Lecturer in Cybersecurity, Teesside University, UK, Europe
כתובת אימייל מאומתת בדומיין tees.ac.uk - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
A Survey on Intrusion Detection Systems for Fog and Cloud Computing‏
V Chang, L Golightly, P Modesti, QA Xu, LMT Doan, K Hall, S Boddu, ...‏
Future Internet 14 (3), 27, 2022‏
862022
Securing distributed systems: A survey on access control techniques for cloud, blockchain, IoT and SDN‏
L Golightly, P Modesti, R Garcia, V Chang‏
Cyber Security and Applications 1, 100015, 2023‏
592023
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‏
272015
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‏
242016
AnBx: Automatic generation and verification of security protocols implementations‏
P Modesti‏
International Symposium on Foundations and Practice of Security, 156-173, 2015‏
232015
Efficient Java code generation of security protocols specified in AnB/AnBx‏
P Modesti‏
International Workshop on Security and Trust Management, 204-208, 2014‏
192014
AnBx-Security Protocols Design and Verification‏
M Bugliesi, P Modesti‏
Joint Workshop on Automated Reasoning for Security Protocol Analysis and …, 2010‏
162010
Verifying Sevecom using set-based abstraction‏
S Mödersheim, P Modesti‏
Wireless Communications and Mobile Computing Conference (IWCMC), 2011 7th …, 2011‏
122011
Formal modelling and security analysis of Bitcoin’s payment protocol‏
P Modesti, SF Shahandashti, P McCorry, F Hao‏
Computers & Security 107, 102279, 2021‏
112021
Security analysis of the open banking account and transaction API protocol‏
A Almehrej, L Freitas, P Modesti‏
arXiv preprint arXiv:2003.12776, 2020‏
102020
An IDE for the Design, Verification and Implementation of Security Protocols‏
R Garcia, P Modesti‏
IEEE International Symposium on Software Reliability Engineering Workshops …, 2017‏
102017
Bridging the Gap: A Survey and Classification of Research-Informed Ethical Hacking Tools‏
P Modesti, L Golightly, L Holmes, C Opara, M Moscini‏
Journal of Cybersecurity and Privacy 4 (3), 410-448, 2024‏
72024
Deploying Secure Distributed Systems: Comparative Analysis of GNS3 and SEED Internet Emulator‏
L Golightly, P Modesti, V Chang‏
Journal of Cybersecurity and Privacy 3 (3), 464-492, 2023‏
72023
Verified security protocol modeling and implementation with AnBx‏
P Modesti‏
Università Ca' Foscari Venezia, 2012‏
72012
A script-based approach for teaching and assessing Android application development‏
P Modesti‏
ACM Transactions on Computing Education (TOCE) 21 (1), 1-24, 2021‏
62021
Integrating Formal Methods for Security in Software Security Education‏
P Modesti‏
Informatics in Education 19 (3), 425-454, 2020‏
62020
Account and Transaction Protocol of the Open Banking Standard‏
A Almehrej, L Freitas, P Modesti‏
Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm …, 2020‏
62020
A Methodology for Protocol Verification Applied to EMV® 1‏
L Freitas, P Modesti, M Emms‏
Brazilian Symposium on Formal Methods, 180-197, 2018‏
62018
Efficient Java code generation of security protocols specified in AnB‏
P Modesti‏
Newcastle University Technical Report, 2014‏
42014
Formal Modeling and Security Analysis of Security Protocols‏
P Modesti, R Garcia‏
Handbook of Formal Analysis and Verification in Cryptography, 213–274, 2023‏
32023
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20