Quantitative Verification of Certificate Transparency Gossip Protocols. - Michael Oxford; David Parker 001; Mark Ryan 001 (CNS, 2020)

Quantitative verification of gossip protocols for certificate transparency. - Michael Oxford (2021)