1 citations · 2 across the 4 of their papers we have counts for
4 papers
What Are Adversaries Doing? Automating Tactics, Techniques, and Procedures Extraction: A Systematic Review
Mahzabin Tamanna, Shaswata Mitra, Md Erfan +4
Adversaries continuously evolve their tactics, techniques, and procedures (TTPs) to achieve their objectives while evading detection, requiring defenders to continually update thei…
ModelForge: Using GenAI to Improve the Development of Security Protocols
Martin Duclos, Ivan A. Fernandez, Kaneesha Moore +2
Formal methods can be used for verifying security protocols, but their adoption can be hindered by the complexity of translating natural language protocol specifications into forma…
Utilizing Large Language Models to Translate RFC Protocol Specifications to CPSA Definitions
Martin Duclos, Ivan A. Fernandez, Kaneesha Moore +2
This paper proposes the use of Large Language Models (LLMs) for translating Request for Comments (RFC) protocol specifications into a format compatible with the Cryptographic Proto…
Emergent (In)Security of Multi-Cloud Environments
Morgan Reece, Theodore Lander, Sudip Mittal +3
As organizations increasingly use cloud services to host their IT infrastructure, there is a need to share data among these cloud hosted services and systems. A majority of IT orga…