Potentially relevant is Karvonen and Broadbent’s work on formalizing secure composition of cryptographic primitives using symmetric monoidal categories: video, paper
Potentially relevant is Karvonen and Broadbent’s work on formalizing secure composition of cryptographic primitives using symmetric monoidal categories: video, paper