3 papers
cs.CR2026
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…
cs.CR2026
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…
cs.CR2025
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…