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.
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.