Person. Samvid Dharanikota Carnegie Mellon University · samvid.me · 0009-0003-1489-2425 Papers Owl: Compositional Verification of Security Protocols via an Information-Flow Type System gancher-2023-owlIEEE S&P · 2023 DOI