7 citations · 7 across the 2 of their papers we have counts for
Showing cs.CRShow all
3 papers · 1 filter
cs.CR2026
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…
cs.CR2026
Evaluating Large Language Models for Symbolic Security Protocol Analysis
Paolo Modesti, Syed Ahmed, Ioannis Sfyrakis +1
Security protocol verification relies on formal tools such as ProVerif and OFMC. This study evaluates whether Large Language Models (LLMs) can perform comparable analysis. We test…
cs.CR2024★ 7 cited
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…