Home Members Publications
| |
Papers in Journals:
- Miguel Garcia, Alysson Bessani, Ilir Gashi, Nuno Neves, Rafael Obelheiro,
Analysis of OS Diversity for Intrusion Tolerance,
Software - Practice and Experience, Wiley InterScience, Vol. 44, No. 6, pages 735–770, June 2014.
- Miguel Correia, Giuliana Veronese, Nuno Neves, Paulo Veríssimo,
Byzantine Consensus in Asynchronous Message-Passing Systems: a Survey,
International Journal of Critical Computer-Based Systems, Inderscience Publishers, Vol. 2, No. 2, pages 141-161, 2011.
- Henrique Moniz, Nuno Neves, Miguel Correia, Paulo Verissimo,
Randomization Can Be a Healer: Consensus with Dynamic Omission Failures,
Distributed Computing, Vol. 24, No. 3-4, pages 165-175, November 2011.
Papers in International Conferences:
- João Antunes, Nuno Ferreira Neves,
Recycling Test Cases to Detect Security Vulnerabilities,
Proceedings of the 23nd Annual International Symposium on Software Reliability Engineering (ISSRE), Dallas, USA, November 2012
- João Antunes, Nuno Ferreira Neves,
Adaptive Monitoring to Detect Intrusions in Critical Servers,
Fast Abstract in Supplement of the International Conference on Dependable Systems and Networks (DSN), Boston, USA, 2 pages, June 2012
- João Antunes, Nuno Ferreira Neves,
Using Behavioral Profiles to Detect Software Flaws in Network Servers,
Proceedings of the 22nd Annual International Symposium on Software Reliability Engineering (ISSRE), Hiroshima,
Japan, pages 1-10, November 2011
- João Antunes, Nuno Ferreira Neves, Paulo Veríssimo,
Reverse Engineering of Protocols from Network Traces,
Proceedings of the 18th Working Conference on Reverse Engineering (WCRE), Limerick, Ireland, 10 pages, October 2011
- João Antunes, Nuno Ferreira Neves,
DiveInto: Supporting Diversity in Intrusion-Tolerant Systems,
Proceedings of the 30th IEEE Symposium on Reliable Distributed Systems (SRDS), Madrid, Spain, pages 137-146, October 2011
- Miguel Garcia, Alysson Bessani, Ilir Gashi, Nuno Neves, Rafael Obelheiro,
OS Diversity for Intrusion Tolerance: Myth or Reality?,
Proceedings of the International Conference on Dependable Systems and Networks (DSN), Hong Kong, China, pages 383-394, June 2011
- Miguel Garcia, Alysson Bessani, Nuno Neves,
Diverse OS Rejuvenation for Intrusion Tolerance,
Poster paper in Supplement of the International Conference on Dependable Systems and Networks (DSN), Hong Kong, China, 4 pages, June 2011
- Alysson Bessani, From Byzantine Fault Tolerance to Intrusion Tolerance,
Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS), Hong Kong, China, June 2011 (4 pages)
- João Antunes, Nuno Ferreira Neves,
Automatically Complementing Protocol Specifications From Network Traces,
Proceedings of the 13th European Workshop on Dependable Computing, Pisa, Italy, 6 pages, May 2011
- Henrique Moniz, Nuno Ferreira Neves, Miguel Correia,
Turquois: Byzantine Consensus in Wireless Ad hoc Networks,
Proceedings of the International Conference on Dependable Systems and Networks (DSN), Chicago, USA, pages 537-546, June 2010
- Bruno Vavala, Nuno Neves, Henrique Moniz, Paulo Verissimo,
Randomized Consensus in Wireless Environments: A Case Where More is Better,
Proceedings of the International Conference on Dependability (DEPEND), Venice, Italy, 6 pages, July 2010 (One of the best papers)
- João Antunes, Nuno Ferreira Neves, Paulo Verissimo,
Using Attack Injection on Closed Protocols, Fast Abstract in Supplement of
the International Conference on Dependable Systems and Networks (DSN), Chicago, USA, June 2010
Papers in National Conferences:
Technical Reports:
PhD Thesis:
- João Alexandre Simões Antunes,
Network Attack Injection, Doutoramento em Informática, Especialidade Ciência da
Computação, Departamento de Informática, Faculdade de Ciências da
Universidade de Lisboa, November 2012
Master Thesis:
- Miguel Garcia Tavares Henriques,
Diversity Management in Intrusion Tolerant Systems,
Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da
Universidade de Lisboa, September 2011
- Francisco José Marques Vieira,
Realistic Vulnerability Injections
in PHP Web Applications, Mestrado em Segurança
Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa,
and MSc in Information Technology - Information
Security, CMU, May 2011
Back to Top
|