Home

2013
Veronese, G. Santos, M. Correia, A. Neves Bessani, C. L Lung, and P. Verissimo, "Efficient byzantine fault-tolerance", Computers, IEEE Transactions on, vol. 62, no. 1: IEEE, pp. 16–30, 2013.
2011
Correia, M., G. Santos Veronese, N. Ferreira Neves, and P. Verissimo, "Byzantine consensus in asynchronous message-passing systems: a survey", International Journal of Critical Computer-Based Systems, vol. 2, no. 2: Inderscience Publishers, pp. 141–161, 2011.
2010
Correia, M., G. Santos Veronese, and C. L Lung, "Asynchronous Byzantine consensus with 2f+ 1 processes", Proceedings of the 2010 ACM Symposium on Applied Computing: ACM, pp. 475–480, 2010.
Veronese, G. Santos, M. Correia, A. Neves Bessani, and C. L Lung, "EBAWA: Efficient Byzantine agreement for wide-area networks", High-Assurance Systems Engineering (HASE), 2010 IEEE 12th International Symposium on: IEEE, pp. 10–19, 2010.
2008
Veronese, G. Santos, M. Correia, C. L Lung, and P. Verissimo, "Finite Memory: a Vulnerability of Intrusion-Tolerant Systems", Network Computing and Applications, 2008. NCA'08. Seventh IEEE International Symposium on: IEEE, pp. 37–44, 2008.
Veronese, G. Santos, M. Correia, C. L Lung, and A. Neves Bessani, Minimal Byzantine fault tolerance, : Department of Informatics, University of Lisbon, 2008.
2006
L Lung, C., F. Favarim, G. Santos Veronese, and M. Correia, "An infrastructure for adaptive fault tolerance on FT-CORBA", Object and Component-Oriented Real-Time Distributed Computing, 2006. ISORC 2006. Ninth IEEE International Symposium on: IEEE, pp. 8–pp, 2006.