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

Presented at IEEE Symposium on Security and Privacy 44 by

Bryan Parno

Joshua Gancher

Sydney Gibson

Pratap Singh

Samvid Dharanikota