Efficient gossip protocols for verifying the consistency of Certificate logs | IEEE Conference Publication | IEEE Xplore