12 citations · 30 across the 4 of their papers we have counts for
Showing 2026Show all
2 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 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…