collaborators

1 paper

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…