Bruno Vavala

From Navigators

• Homepage: http://www.cs.cmu.edu/~bvavala/
• Advisor(s): Nuno Ferreira Neves, Peter Steenkiste

Projects

Past projects

• SEGRID (Security for smart Electricity GRIDs)
• DIVERSE (Diversity for Intrusion-Tolerant Systems)

Publications

• Bruno Vavala, “Secure Large-Scale Outsourced Services Founded on Trustworthy Code Executions”, Ph.D. dissertation, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa, Jul. 2017.

• Bruno Vavala, Nuno Neves, Peter Steenkiste, “Secure Tera-scale Data Crunching with a Small TCB”, in Proceedings of the 47th IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), Jun. 2017.

• Bruno Vavala, Nuno Ferreira Neves, Peter Steenkiste, “Secure Identification of Actively Executed Code on a Generic Trusted Component”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN), Jun. 2016.

• Bruno Vavala, Nuno Ferreira Neves, Peter Steenkiste, “Securing Passive Replication Through Verification”, in Proceedings of the 34th Symposium on Reliable Distributed Systems (SRDS), Montreal, Canada, Sept. 2015.

• Bruno Vavala, Nuno Neves, “Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions”, in Proceedings of the 31st IEEE Symposium on Reliable and Distributed Systems (SRDS), Oct. 2012.

• Bruno Vavala, Nuno Neves, “Randomized Consensus in Wireless Environments”, in International Journal on Advances in Intelligent Systems, vol. 4(1-2), 2011.

• Bruno Vavala, Nuno Neves, “Randomized Consensus in Wireless Environments: A Case Where More is Better”, in Proceedings of the 3rd IEEE International Conference on Dependability (DEPEND), Jul. 2010.

BibTeX