·
0 commits
to dea44c9e2cbca59743b4dd39f8fa19d25a4ffc7f
since this release
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.