Releases: secure-foundations/owl
Releases · secure-foundations/owl
IEEE S&P 2023 Submission
This commit corresponds to the paper Owl: Compositional Verification Security Protocols via an Information-Flow Type System, from the IEEE Symposium on Security and Privacy 2023.