Bruno Vavala, Nuno Neves, Peter Steenkiste. Securing Passive Replication through Verification. In 34th IEEE Symposium on Reliable Distributed Systems, SRDS 2015, Montreal, QC, Canada, September 28 - October 1, 2015. pages 176-181, IEEE, 2015. [doi]
Abstract is missing.