proofs/composability/refs.bib

@inproceedings{canetti2001uc,
  author    = {Ran Canetti},
  title     = {Universally Composable Security: A New Paradigm for Cryptographic Protocols},
  booktitle = {42nd Annual Symposium on Foundations of Computer Science (FOCS)},
  year      = {2001},
  pages     = {136--145}
}

@article{canetti2020uc,
  author  = {Ran Canetti},
  title   = {Universally Composable Security},
  journal = {Journal of the ACM},
  volume  = {67},
  number  = {5},
  pages   = {28:1--28:94},
  year    = {2020}
}

@article{honda2016multiparty,
  author  = {Kohei Honda and Nobuko Yoshida and Marco Carbone},
  title   = {Multiparty Asynchronous Session Types},
  journal = {Journal of the ACM},
  volume  = {63},
  number  = {1},
  pages   = {9:1--9:67},
  year    = {2016}
}

@inproceedings{honda1998language,
  author    = {Kohei Honda and Vasco Thudichum Vasconcelos and Makoto Kubo},
  title     = {Language Primitives and Type Discipline for Structured Communication-Based Programming},
  booktitle = {ESOP},
  year      = {1998},
  pages     = {122--138}
}

@book{maclane1998categories,
  author    = {Saunders Mac Lane},
  title     = {Categories for the Working Mathematician},
  edition   = {2},
  publisher = {Springer},
  series    = {Graduate Texts in Mathematics},
  volume    = {5},
  year      = {1998}
}

@book{hoare1985csp,
  author    = {C. A. R. Hoare},
  title     = {Communicating Sequential Processes},
  publisher = {Prentice-Hall},
  year      = {1985}
}

@book{milner1999pi,
  author    = {Robin Milner},
  title     = {Communicating and Mobile Systems: The {$\pi$}-Calculus},
  publisher = {Cambridge University Press},
  year      = {1999}
}

@inproceedings{pfitzmann2000reactive,
  author    = {Birgit Pfitzmann and Michael Waidner},
  title     = {Composition and Integrity Preservation of Secure Reactive Systems},
  booktitle = {7th ACM Conference on Computer and Communications Security (CCS)},
  year      = {2000},
  pages     = {245--254}
}

@inproceedings{pfitzmann2001model,
  author    = {Birgit Pfitzmann and Michael Waidner},
  title     = {A Model for Asynchronous Reactive Systems and its Application to Secure Message Transmission},
  booktitle = {IEEE Symposium on Security and Privacy},
  year      = {2001},
  pages     = {184--200}
}

@article{abadi1999calculus,
  author  = {Mart{\'\i}n Abadi and Andrew D. Gordon},
  title   = {A Calculus for Cryptographic Protocols: The Spi Calculus},
  journal = {Information and Computation},
  volume  = {148},
  number  = {1},
  pages   = {1--70},
  year    = {1999}
}

@inproceedings{kuesters2006simulation,
  author    = {Ralf K{\"u}sters},
  title     = {Simulation-Based Security with Inexhaustible Interactive Turing Machines},
  booktitle = {19th IEEE Computer Security Foundations Workshop (CSFW)},
  year      = {2006},
  pages     = {309--320}
}

@article{coppo2016gentle,
  author  = {Mario Coppo and Mariangiola Dezani-Ciancaglini and Luca Padovani and Nobuko Yoshida},
  title   = {A Gentle Introduction to Multiparty Asynchronous Session Types},
  journal = {Lecture Notes in Computer Science},
  volume  = {9104},
  year    = {2015},
  pages   = {1--71}
}

@inproceedings{toninho2018certifying,
  author    = {Bernardo Toninho and Nobuko Yoshida},
  title     = {Certifying Data in Multiparty Session Types},
  booktitle = {Journal of Logical and Algebraic Methods in Programming},
  year      = {2018},
  volume    = {90},
  pages     = {61--83}
}

@article{caires2010session,
  author  = {Lu{\'\i}s Caires and Frank Pfenning},
  title   = {Session Types as Intuitionistic Linear Propositions},
  journal = {CONCUR},
  year    = {2010},
  pages   = {222--236}
}

@inproceedings{wadler2012propositions,
  author    = {Philip Wadler},
  title     = {Propositions as Sessions},
  booktitle = {ICFP},
  year      = {2012},
  pages     = {273--286}
}

@inproceedings{rescorla2018tls,
  author    = {Eric Rescorla},
  title     = {The Transport Layer Security (TLS) Protocol Version 1.3},
  publisher = {RFC 8446, IETF},
  year      = {2018}
}

@inproceedings{bhargavan2014triple,
  author    = {Karthikeyan Bhargavan and Antoine Delignat-Lavaud and C{\'e}dric Fournet and Alfredo Pironti and Pierre-Yves Strub},
  title     = {Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over {TLS}},
  booktitle = {IEEE Symposium on Security and Privacy},
  year      = {2014},
  pages     = {98--113}
}

@inproceedings{krawczyk2010composability,
  author    = {Hugo Krawczyk},
  title     = {Cryptographic Extraction and Key Derivation: The {HKDF} Scheme},
  booktitle = {CRYPTO},
  year      = {2010},
  pages     = {631--648}
}

@inproceedings{datta2005probabilistic,
  author    = {Anupam Datta and Ante Derek and John C. Mitchell and Vitaly Shmatikov and Mathieu Turuani},
  title     = {Probabilistic Polynomial-Time Semantics for a Protocol Security Logic},
  booktitle = {ICALP},
  year      = {2005},
  pages     = {16--29}
}

@misc{zap2026wire,
  author = {{ZAP Protocol Authors}},
  title  = {The {ZAP} Wire Format Specification},
  howpublished = {\url{https://zap-proto.io}},
  year   = {2026}
}

@misc{zap2026rns,
  author = {{ZAP Protocol Authors}},
  title  = {{RNS}: Identity Binding for the {ZAP} Protocol Family},
  howpublished = {\url{https://zap-proto.io}},
  year   = {2026}
}

@misc{zap2026pq,
  author = {{ZAP Protocol Authors}},
  title  = {Post-Quantum Hybrid {KEM} for {ZAP} Sessions},
  howpublished = {\url{https://zap-proto.io}},
  year   = {2026}
}

@misc{zap2026agent,
  author = {{ZAP Protocol Authors}},
  title  = {Agent Communication over {ZAP}: {MCP}, {ACP}, {A2A}},
  howpublished = {\url{https://zap-proto.io}},
  year   = {2026}
}

@book{awodey2010category,
  author    = {Steve Awodey},
  title     = {Category Theory},
  edition   = {2},
  publisher = {Oxford University Press},
  year      = {2010}
}

@book{barr1995category,
  author    = {Michael Barr and Charles Wells},
  title     = {Category Theory for Computing Science},
  publisher = {Prentice Hall},
  year      = {1995}
}