Marius Lombard-Platet. Security of cryptographic protocols and data structures : design and optimisation. (Sécurité des protocoles et structures de données : modélisation et optimisation). PhD thesis, PSL University, Paris, France, 2021. [doi]
Abstract is missing.