Constructions and Analysis of Secure Communication Protocols

Marta Mularczyk. Constructions and Analysis of Secure Communication Protocols. PhD thesis, ETH Zurich, Zürich, Switzerland, 2021. [doi]

Abstract

Abstract is missing.