Issues

• Verify Secure Information Flow

  viperproject/VerifiedSCION#409 · Filter by author henriman opened on Sep 30, 2025

• Use new asserting statement

  viperproject/VerifiedSCION#384 · Filter by author jcp19 opened on Nov 14, 2024

• Finish prepareSCMP

  lowprioritymemory-safetypartially-verifiedrouter
  viperproject/VerifiedSCION#360 · Filter by author jcp19 opened on Jun 18, 2024
  1

• Readability improvements

  viperproject/VerifiedSCION#353 · Filter by author jcp19 opened on Jun 11, 2024

• Introduce obligations to enforce closing locks

  deadlock-freedomtermination
  viperproject/VerifiedSCION#338 · Filter by author jcp19 opened on May 6, 2024

• Build benchmark scripts

  evaluation
  viperproject/VerifiedSCION#177 · Filter by author jcp19 opened on Feb 15, 2023

• router/dataplane.go: information hiding and refactoring

  maintainabilityperformancerouter
  viperproject/VerifiedSCION#155 · Filter by author jcp19 opened on Jan 23, 2023

• Verify layertypes.go

  gobrapartially-verifiedslayers
  viperproject/VerifiedSCION#77 · Filter by author jcp19 opened on Sep 8, 2022