Archive

Home Members Archive Summary

horizontal rule

PAPERS

Paulo Veríssimo and Nuno Ferreira Neves and Miguel Correia. Intrusion-Tolerant Architectures: Concepts and Design. In Architecting Dependable Systems, R. Lemos, C. Gacek, A. Romanovsky (eds.), LNCS 2677, Springer Verlag, 2003. An extended version is available as DI/FCUL TR03-05 (abstract) (pdf)

Miguel 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 International Symposium on Dependable Computing, Tahiti, French Polynesia, March 2004. (pdf)

Paulo Veríssimo. Uncertainty and Predictability: Can they be reconciled? In Future Directions in Distributed Computing, pp. 108-113, Springer Verlag LNCS 2584, May, 2003 (abstract) (pdf)

M. Correia, N. F. Neves, L. C. Lung, P. Veríssimo. A Wormhole-based Intrusion-Tolerant Group Communication System - WIT-GCS. The 5th Cabernet Plenary Workshop, November 2003. (pdf)

Lau Cheuk Lung , Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo. A Simple Intrusion-Tolerant Reliable Multicast Protocol using the TTCB. 21º Simpósio Brasileiro de Redes de Computadores. Natal, Brasil, May 2003. (pdf)

M. Correia, P. Veríssimo, Nuno F. Neves. The Design of a COTS Real-Time Distributed Security Kernel. Proc. Fourth European Dependable Computing Conference. Toulouse, France, October 2002. (abstract) (zipped ps) (ps)

M. Correia, L. C. Lung, N. F. Neves, P. Veríssimo. A Byzantine-Resilient Protocol using the TTCB. Fast abstract. Supplement of the Fourth European Dependable Computing Conference. Toulouse, France, October 2002. (zipped ps) (ps)

M. Correia and L. C. Lung and N. F. Neves and P. Veríssimo. Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model. Proc. of the 21th IEEE Symposium on Reliable Distributed Systems, Suita, Japan, October 2002. (abstract) (zipped ps) (ps)

M. Correia, P. Veríssimo, N. F. Neves. The Architecture of a Secure Group Communication System Based on Intrusion Tolerance.In International Workshop on Applied Reliable Group Communication (WARGC'01), in conjunction with ICDCS 2001, Phoenix, USA, April 2001. (abstract) (pdf) (bibtex)

 

TECH. REPORTS

M. Correia and N. F. Neves and L. C. Lung and P. Veríssimo.  Low Complexity Byzantine-Resilient Consensus. Technical Report DI/FCUL TR-03-25, Department of Computer Science, University of Lisbon, August 2003. (abstract) (pdf)

P. Veríssimo and N. F. Neves and M. Correia. Intrusion-Tolerant Architectures: Concepts and Design. Technical Report DI/FCUL TR03-05, Department of Computer Science, University of Lisbon, April 2003 (abstract) (pdf)

P. Veríssimo. Intrusion Tolerance: Concepts and Design Principles. A Tutorial. Technical Report DI/FCUL TR 02-6, Department of Computer Science, University of Lisbon, July 2002 (abstract) (pdf)

M. Correia, P. Veríssimo, Nuno F. Neves. The Design of a COTS Real-Time Distributed Security Kernel (Extended Version). Technical Report DI/FCUL TR 01-12, Department of Computer Science, University of Lisbon, December 2001. (abstract) (pdf) (extended but somewhat outdated version of the EDCC paper)

 

 

SOFTWARE

Trusted Timely Computing Base

 

União Europeia – Fundos Estruturais

Governo da República Portuguesa

horizontal rule

For problems or questions regarding this web contact defeats*AT*di.fc.ul.pt.
Last updated: Fevereiro 01, 2006.
vetica">