GitHub repository: mdenzel/smartguard
Primary language: Shell
Created: 2016-05-10T16:22:03Z
Description: ProVerif Proofs for Smart-Guard