@inproceedings{gancher-2023-owl, title={Owl: Compositional Verification of Security Protocols via an Information-Flow Type System}, url={http://dx.doi.org/10.1109/sp46215.2023.10179477}, DOI={10.1109/sp46215.2023.10179477}, booktitle={2023 IEEE Symposium on Security and Privacy (SP)}, publisher={IEEE}, author={Gancher, Joshua and Gibson, Sydney and Singh, Pratap and Dharanikota, Samvid and Parno, Bryan}, year={2023}, month=May, pages={1130–1147} }