REGENESYS: Regeneration of Replicated Systems

From Navigators

Latest revision as of 09:38, 26 July 2014

http://regenesys.di.fc.ul.pt

• Research Line(s): Fault and Intrusion Tolerance in Open Distributed Systems (FIT)
• Sponsor: FCT
• Project Number: PTDC/EIA-EIA/100581/2008
• Total award amount: 73.6K Euros
• Coordinator: FCUL
• Partners: FCUL
• Start Date: Jan. 2010
• Duration: 36 months
• Keywords: Distributed Systems, Intrusion Tolerance, Security, Availability
• Team at FCUL: 7 researchers, including Miguel Correia, Alysson Bessani, Nuno Ferreira Neves, Hans P. Reiser, Paulo Sousa

Publications

• Luís T. A. N. Brandão, Alysson Bessani, “On the Reliability and Availability of Replicated and Rejuvenating Systems Under Stealth Attacks and Intrusions”, Journal of the Brazilian Computer Society, vol. 18, pp. 61–80, Mar. 2012.

• João Sousa, Bruno Branco e Brito, Alysson Bessani, Marcelo Pasin, “Desempenho e Escalabilidade de uma Biblioteca de Replicação de Máquina de Estados Tolerante a Faltas Bizantinas”, in 3th Simpósio de Informática (INFORUM), Coimbra, Portugal, Sept. 2011.

• Luís T. A. N. Brandão, Alysson Bessani, “On the Reliability and Availability of Systems Tolerant to Stealth Intrusion”, in Proceedings of the 5th Latin-American Symposium on Dependable Computing - LADC'11. São José dos Campos, Brazil. April 2011., Apr. 2011.

• Giuliana Santos Veronese, Miguel Correia, Alysson Bessani, Lau Cheuk Lung, “EBAWA: Efficient Byzantine Agreement for Wide-Area Networks”, in Proceedings of the 12th IEEE International High Assurance Systems Engineering Symposium - HASE'10. San Jose, CA, USA. November 2010., Oct. 2010.

• Alysson Bessani, Miguel Correia, Paulo Sousa, “Active Quorum Systems”, in Proceedings of the 6th Workshop on Hot Topics in System Dependability - HotDep'10 (together with USENIX OSDI'10). Vancouver, Canada. October 2010., Oct. 2010.

• João Sousa, Alysson Bessani, Paulo Sousa, “Typhon: Um Serviço de Autenticação e Autorização Tolerante a Intrusões”, in 2th Simpósio de Informática (INFORUM), Sept. 2010.

• Alysson Bessani, “Active Quorum Systems: Specification and Correctness Proof”, Missing institution, Tech. Rep., Jul. 2010. DI-FCUL-TR 2010-02

• Paulo Sousa, Alysson Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery”, IEEE Transactions on Parallel and Distributed Systems, vol. 21, no. 4, pp. 452-465, Apr. 2010., Apr. 2010.

• Miguel Correia, Giuliana Santos Veronese, Lau Cheuk Lung, “Asynchronous Byzantine Consensus with 2f+1 Processes”, in Proceedings of the 25th Annual ACM Symposium on Applied Computing, March 2010., Mar. 2010.

BibTeX