Securing Passive Replication through Verification

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]

Authors

Bruno Vavala

This author has not been identified. Look up 'Bruno Vavala' in Google

Nuno Neves

This author has not been identified. Look up 'Nuno Neves' in Google

Peter Steenkiste

This author has not been identified. Look up 'Peter Steenkiste' in Google