GitHub repository: viperproject/VerifiedSCION
Primary language: Go
Created: 2022-04-26T16:25:37Z
Description: Verifying the SCION architecture using Gobra