12 citations · 30 across the 4 of their papers we have counts for
5 papers
Exploiting and Securing Docker containers and Kubernetes pods from a MitM attack
Henry Kabuye, Ismail Khalid Kazmi, Chunyan Mu +1
PURPOSE - Workloads in containers, such as Docker containers and Kubernetes pods, are vulnerable to many of the same attacks as workloads in non-container environments, including p…
Evaluating Large Language Models for Symbolic Security Protocol Analysis
Paolo Modesti, Syed Ahmed, Ioannis Sfyrakis +1
Security protocols verification relies on formal tools such as ProVerif and OFMC. This study evaluates whether large language models (LLMs) can perform comparable analysis. We test…
A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
Rémi Garcia, Paolo Modesti
To develop trustworthy distributed systems, verification techniques and formal methods, including lightweight and practical approaches, have been employed to certify the design or…
Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
Paolo Modesti, Siamak F. Shahandashti, Patrick McCorry +1
The Payment Protocol standard BIP70, specifying how payments in Bitcoin are performed by merchants and customers, is supported by the largest payment processors and most widely-use…
Security Analysis of the Open Banking Account and Transaction API Protocol
Paolo Modesti, Leo Freitas, Qudus Shotomiwa +1
The Second Payment Services Directive (PSD2) of the European Union aims to create a consumer-friendly financial market by mandating secure and standardised data sharing between ban…