Michael Oxford, David Parker, Mark Ryan. Quantitative Verification of Certificate Transparency Gossip Protocols. In 8th IEEE Conference on Communications and Network Security, CNS 2020, Avignon, France, June 29 - July 1, 2020. pages 1-9, IEEE, 2020. [doi]
Abstract is missing.