Publications

Secure and Reliable Parallel Processing

 

horizontal rule

Home
Members
Publications
Summary

This page contains links to documents authored by project members.

horizontal rule

Documents

bulletPaulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, Intrusion Tolerant Architectures: Concepts and Design, in Architecting Dependable System, R. de Lemos, C. Gacek, A. Romanovsky (editors), Springer-Verlag, LNCS vol. 2677, 2003.
bulletLau Lung, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo, A Simple Intrusion-Tolerant Reliable Multicast Protocol Using the TTCB, Proceedings 21th Simpósio Brasileiro de Redes de Computadores (SBRC), Natal, Brazil, May, 2003.
bulletMiguel Correia, Nuno Ferreira Neves, Lau Lung, Paulo Veríssimo, A Wormhole-based Intrusion-Tolerant Group Communication System - WIT-GCS, The 5th Cabernet Plenary Workshop, Madeira, Portugal, November 2003
bulletMiguel Correia, Nuno Ferreira Neves, Lau Lung, Paulo Veríssimo, Byzantine-Resistant Consensus based on a Novel Approach to Intrusion Tolerance, Fast abstract in Supplement of the 10th Pacific Rim Internatinal Symposium on Dependable Computing, Tahiti, French Polynesia, March 2004.
bulletNuno Ferreira Neves, Miguel Correia, Paulo Veríssimo, Wormhole-Aware Byzantine Protocols, The 2nd Bertinoro Workshop on Future Directions in Distributed Computing: Survivability - Obstacles and Solutions (FuDiCo: SOS), Bertinoro, Italy, June, 2004.
bulletLuis Sardinha, Nuno Ferreira Neves, Paulo Veríssimo, Tolerating Intrusions in Grid Systems, Proceedings of the 2004 International Conference on Security and Management (SAM), Las Vegas, USA, June, 2004.
bulletT. Jorge, J. Pascoal, M. Correia, N. F. Neves, P. Veríssimo, Concretização de um Sistema de Comunicação em Grupo Tolerante a Intrusões, Actas da 7ª Conferência sobre Redes de Computadores (CRC2004), Leiria, Portugal, October, 2004.
bulletL. Sardinha, N. F. Neves, P. Veríssimo, Tolerância a Intrusões num Sistema em Grid, Actas da 7ª Conferência sobre Redes de Computadores (CRC2004), Leiria, Portugal, October, 2004.
bulletM. Correia, N. F. Neves and P. Veríssimo, How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems, Proceedings of the 23rd IEEE Symposium on Reliable Distributed Systems, Florianopolis, Brazil, pages 174-183, October 2004.
bulletR. Ferraz, B. Gonçalves, J. Sequeira, M. Correia, N. F. Neves and P. Veríssimo, An Intrusion-Tolerant Web Server based on the DISTRACT Architecture, Proceedings of the Workshop on Dependable Distributed Data Management, Florianopolis, Brazil, October 2004.
bulletM. Correia, N. F. Neves, L. Lung, P. Veríssimo, Low complexity Byzantine-resilient consensus, Distributed Computing, Springer-Verlag, vol. 17, no. 3, pages 237-249, March 2005.
bulletN. F. Neves, M. Correia, P. Veríssimo, Solving Vector Consensus with a Wormhole, IEEE Transactions on Parallel and Distributed Systems, Vol. 16, No. 12, pages 1120-1131, December 2005

 

Technical Reports

bulletMiguel Correia, Nuno Ferreira Neves, Lau C. Lung, Paulo Veríssimo, Low Complexity Byzantine-Resilient Consensus, Technical Report DI/FCUL TR-03-25, Department of Computer Science, University of Lisbon, August 2003.

horizontal rule

Back to Top

horizontal rule

For problems or questions regarding this web contact nuno@di.fc.ul.pt.