Semantic search

From Navigators

Publications

• Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia, “Automatic Detection and Correction of Web Application Vulnerabilities using Data Mining to Predict False Positives”, in Proceedings of the International World Wide Web Conference (WWW), Seoul, Korea, Apr. 2014.

• Alysson Bessani, Marcel Santos, João Félix, Nuno Ferreira Neves, Miguel Correia, “On the Efficiency of Durable State Machine Replication”, in Proceedings of the 2013 USENIX Annual Technical Conference, Jun. 2013, pp. 169–180.

• Miguel Garcia, Nuno Ferreira Neves, Alysson Bessani, “An intrusion-tolerant firewall design for protecting SIEM systems”, in Workshop on Systems Resilience in conjunction with the Conference on Dependable Systems and Networks, Jun. 2013.

• Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “BFT-TO: Intrusion Tolerance with”, The Computer Journal, vol. 56, no. 6, pp. 693–715, Jun. 2013.

• Miguel Garcia, Nuno Ferreira Neves, Alysson Bessani, “DIVERSYS: DIVErse Rejuvenation SYStem”, in NFORUM 2012 - Simpósio de Informática, Lisbon, Portugal, Sept. 2012.

• João Antunes, Nuno Ferreira Neves, “Using Behavioral Profiles to Detect Software Flaws in Network Servers”, in Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), Nov. 2011.

• João Antunes, Nuno Ferreira Neves, “DiveInto: Supporting Diversity in Intrusion-Tolerant Systems”, in Proceedings of the Symposium on Reliable Distributed Systems (SRDS), Oct. 2011.

• Miguel Garcia, Alysson Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro, “OS Diversity for Intrusion Tolerance: Myth or Reality?”, in Proceedings of the International Conference on Dependable Systems and Networks - DSN'11. Hong Kong, China, June 2011., Jun. 2011.

• Miguel Garcia, Alysson Bessani, Nuno Ferreira Neves, “Diverse OS Rejuvenation for Intrusion Tolerance”, in Poster in Supplement of the IEEE/IFIP International Conference on Dependable Systems and Networks, Jun. 2011.

• João Antunes, Nuno Ferreira Neves, “Automatically Complementing Protocol Specifications From Network Traces”, in 13th European Workshop on Dependable Computing, May 2011.

• Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, “RITAS: Services for Randomized Intrusion Tolerance”, IEEE Transactions on Dependable and Secure Computing, vol. 8, n. 1, pp. 122-136, Jan.-Feb. 2011., Jan. 2011.

• Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, “Turquois: Byzantine Consensus in Wireless Ad hoc Networks”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN), Chicago, USA, June 2010., Jun. 2010.

• João Antunes, Nuno Ferreira Neves, Paulo Verissimo, “Using Attack Injection on Closed Protocols”, in Fast Abstract in Supplement of the International Conference on Dependable Systems and Networks (DSN'10), Jun. 2010.

• João Antunes, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, Rui Neves, “Vulnerability Removal with Attack Injection”, IEEE Transactions on Software Engineering, Special issue on Evaluation and Improvement of Software Dependability, Jun. 2010.

• 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.

• Henrique Moniz, Alessandra Tedeschi, Nuno Ferreira Neves, Miguel Correia, “A Distributed Systems Approach to Airborne Self-Separation, Computational Models, Software Engineering and Advanced Technologies in Air Transportation”, in Computational Models, Software Engineering and Advanced Technologies in Air Transportation, I. Oliveira, Eds.. IGI Global, Oct. 2009.

• Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Verissimo, “Randomization can be a Healer: Consensus with Dynamic Omission Failures”, in Proceedings of the 23rd International Symposium on Distributed Computing (DISC 2009), pages 63-77, Sept. 2009.

• João Antunes, Nuno Ferreira Neves, “Building an Automaton Towards Protocol Reverse Engineering”, in Simpósio de Informática Inforum 2009, Sept. 2009.

• Alysson Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Verissimo, “Cheap Intrusion-Tolerant Protection for CRUTIAL Things”, Missing institution, Tech. Rep., Aug. 2009. DI-FCUL TR-2009-14

• Paulo Sousa, Alysson Bessani, Wagner Saback Dantas, Fábio Souto, Miguel Correia, Nuno Ferreira Neves, “Intrusion-Tolerant Self-Healing Devices for Critical Infrastructure Protection”, in Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009), Estoril, Portugal, pp. 217-222, Jun-Jul 2009., Jun. 2009.