gancher-2023-owl:
  type: article
  title: 'Owl: Compositional Verification of Security Protocols via an Information-Flow Type System'
  author:
  - Gancher, Joshua
  - Gibson, Sydney
  - Singh, Pratap
  - Dharanikota, Samvid
  - Parno, Bryan
  date: 2023-05
  page-range: 1130-1147
  url: http://dx.doi.org/10.1109/sp46215.2023.10179477
  serial-number:
    doi: 10.1109/sp46215.2023.10179477
  parent:
    type: proceedings
    title: 2023 IEEE Symposium on Security and Privacy (SP)
    publisher: IEEE