Home Members Publications
| |
This page contains links to
documents authored by project
members and to software programs and
components developed by the project.
Papers in Journals:
- P. Sousa, N. Neves, A. Lopes, P. Verissimo, On the Resilience of
Intrusion-Tolerant Distributed Systems, Submitted for publication.
- P. Sousa, N. Neves, P. Verissimo, Resilient and Available State
Machine Replication, Submitted for publication.
- H. Moniz, N. Neves, M. Correia, P. Verissimo, RITAS: Services for
Randomized Intrusion Tolerance, IEEE Transactions on Dependable
and Secure Computing, to appear in 2009.
- M. Correia, N.
Neves, P. Veríssimo,
From Consensus to Atomic Broadcast: Time-Free
Byzantine-Resistant Protocols without Signatures, The Computer Journal,
Vol. 49, No. 1, pages 82-96, Oxford University Press, January 2006.
Papers in Internatinal Conferences:
- P. Sousa, A. Bessani, M. Correia, N. Neves, P. Veríssimo,
Resilient
Intrusion Tolerance through Proactive and Reactive Recovery, Proceedings
of the 13th IEEE Pacific Rim Dependable Computing conference, Melbourne,
Australia, December 2007
- H. Moniz, N. Neves, M. Correia, A. Casimiro, P. Veríssimo,
Intrusion
Tolerance in Wireless Environments: An Experimental Evaluation,
Proceedings of the 13th IEEE Pacific Rim Dependable Computing
conference, Melbourne, Australia, December 2007
- A. Bessani, M. Correia, H. Moniz, N. Neves, P. Verissimo.
When 3 f
+1 is not Enough: Tradeoffs for Decentralized Asynchronous Byzantine
Consensus, Brief Announcements at the 21st International Symposium on
Distributed Computing (DISC), Lemesos, Cyprus, September 2007.
- P. Sousa, N. Neves, P. Verissimo,
Hidden Problems of Asynchronous
Proactive Recovery, Workshop on Hot Topics in System Dependability
(HotDep), Edinburgh, UK, June 2007.
- H. Moniz, N. Neves, M. Correia, P. Veríssimo,
Experimental
Comparison of Local and Shared Coin Randomized Consensus Protocols,
Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems,
Leeds, UK, October 2006.
- P. Sousa, N. Neves, P. Veríssimo, W. Sanders, Proactive Resilience
Revisited: The Delicate Balance Between Resisting Intrusions and
Remaining Available, Proceedings of the 25th IEEE Symposium on Reliable
Distributed Systems, Leeds, UK, October 2006.
- H. Moniz, N. Neves, M. Correia, P. Veríssimo,
Randomized
Intrusion-Tolerant Asynchronous Services, in Proceedings of the
International Conference on Dependable Systems and Networks,
Philadelphia, USA, June 2006.
- P. Sousa, N. Neves, P. Veríssimo,
Proactive Resilience through
Architectural Hybridization, Proceedings of the 21st ACM Symposium on
Applied Computing, Dijon, France, April, 2006.
Papers in National Conferences:
- P. Jieke, M. Correia, N. Neves, P. Veríssimo,
Um Núcleo de
Segurança Distribuído para Suporte a Protocolos Tolerantes a Intrusões,
Actas da 1ª Conferência Nacional Sobre Segurança Informática nas
Organizações, Covilhã, Portugal, November, 2005.
- J. Pascoal, T. Jorge, M. Correia, N. Neves, P. Veríssimo,
FTP Tolerante a Intrusões, Actas da 1ª Conferência Nacional Sobre Segurança
Informática nas Organizações, Covilhã, Portugal, November, 2005.
Technical Reports:
- P. Sousa, A. Bessani, M. Correia, N. Neves, P. Veríssimo,
Resilient Intrusion Tolerance through Proactive and Reactive Recovery,
Technical Report DI/FCUL TR-07-17,
Department of Computer Science, University of Lisbon, October 2007
- P. Sousa, N. Neves, A. Lopes, P. Veríssimo,
On the Resilience of Intrusion-Tolerant Distributed Systems,
Technical Report DI/FCUL TR-06-14,
Department of Computer Science, University of Lisbon, September 2006.
- P. Sousa, N. Neves, P. Veríssimo,
Resilience State Machine Replication,
Technical Report DI/FCUL TR-05-17, Department of Computer Science,
University of Lisbon, September 2005.
Thesis:
- H. Moniz,
Randomized Intrusion-Tolerant Asynchronous Services, Mestrado em Informática, Departamento de Informática, Faculdade de
Ciências da Universidade de Lisboa, December 2006.
- P. Sousa,
Proactive Resilience, Doutoramento em Informática, Especialidade Ciência da Computação,
Departamento de Informática, Faculdade de Ciências da Universidade de
Lisboa, May 2007.
- H. Moniz, Randomized Intrusion-Tolerant Protocols in Wireless
Networks, Doutoramento em Informática, Especialidade Ciência da
Computação, Departamento de Informática, Faculdade de Ciências da
Universidade de Lisboa, in preparation.
Back to Top
Will be made available later.
|