GitHub repository: secure-foundations/owl
Primary language: Haskell
Created: 2023-03-24T20:57:55Z
Description: Compositional Verification of Security Protocols