@InProceedings{OPR20,
author={Michael Oxford, David Parker and Mark Ryan},
title={Quantitative Verification of Certificate Transparency Gossip Protocols},
booktitle={Proc. 6th International Workshop on Security and Privacy in the Cloud (SPC'20)},
year={2020},

editors={},
pages={},
organization={},
publisher={IEEE},
series={},
volume={},
address={},
month={},
note={},
key={}
}