Owl: Compositional Verification of Security Protocols via an Information-Flow Type System

Published: March 23, 2023