1 citations · 1 across the 4 of their papers we have counts for
4 papers
Verifying Provenance of Digital Media: Why the C2PA Specifications Fall Short
Enis Golaszewski, Neal Krawetz, Alan T. Sherman +8
The rapid rise of generative AI has made it easy to create convincing fake media at scale. In response, an industrial coalition has developed the Coalition for Content Provenance a…
FALCON: Transforming Cyber Threat Intelligence into Deployable IDS Rules with Self-Reflection
Shaswata Mitra, Subash Neupane, Martin Duclos +5
Signature-based Intrusion Detection Systems (IDS) detect malicious activity by matching network or host events against predefined rules. Security analysts manually develop these ru…
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…