Efficient and Verifiable Proof of Replication with Fast Fault Localization | IEEE Conference Publication | IEEE Xplore