#

gobra

Here is 1 public repository matching this topic...

viperproject / diodon-artifact

Artifact for "The Secrets Must Not Flow: Scaling Security Verification to Large Codebases" (S&P '26)

static-analysis implementation tamarin separation-logic protocol-verification symbolic-security automated-verification gobra

Updated Oct 17, 2025
Go

Improve this page

Add a description, image, and links to the gobra topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the gobra topic, visit your repo's landing page and select "manage topics."