search

viperproject / VerifiedSCION

Verifying the SCION architecture using Gobra
Apache License 2.0
10 stars 2 forks source link

Verify assumptions in SCION.DecodeFromBytes #345

Closed mlimbeck closed 4 months ago

mlimbeck commented 4 months ago

Co-authored by: @Dspil