This is the artifact for the paper "The Secrets Must Not Flow: Scaling Security Verification to Large Codebases", which will appear at the IEEE Symposium on Security ...

The frontend uses the same library files that can be imported by another editor or application. Inspired by I love Petri Nets. This project is under active development. Some advanced features are ...