Home

S
Vavala, B., N. Ferreira Neves, and P. Steenkiste, "Securing Passive Replication Through Verification", Proceedings of the 34th Symposium on Reliable Distributed Systems (SRDS), Montreal, Canada, 2015.
L
Vavala, B., and N. Ferreira Neves, "LaSIGE, Univ. of Lisbon, Lisbon, Portugal", Reliable Distributed Systems (SRDS), 2012 IEEE 31st Symposium on: IEEE, pp. 161–170, 2012.