Home

Conference Paper
Silva, C., P. Sousa, and P. Verissimo, "Rave: Replicated antivirus engine", Dependable Systems and Networks Workshops (DSN-W), 2010 International Conference on: IEEE, pp. 170–175, 2010.
Journal Article
Aubry, F., A. Neves Bessani, and P. Sousa, "BFT Services Programming with a Dependable Tuple Space", Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009)-Fast Abstract, Estoril, Portugal, 2009.
Correia, M., A. Neves Bessani, N. Ferreira Neves, P. Verissimo, and P. Sousa, Cheap Intrusion-Tolerant Protection for CRUTIAL Things, , 2009.
Bessani, A. Neves, P. Sousa, M. Correia, N. Ferreira Neves, and P. Verissimo, "Cheap intrusion-tolerant protection for crutial things", Technical Report DI-FCUL TR-2009-14, 2009.
Conference Paper
Verissimo, P., A. Neves Bessani, M. Correia, N. Ferreira Neves, and P. Sousa, "Designing modular and redundant cyber architectures for process control: Lessons learned", System Sciences, 2009. HICSS'09. 42nd Hawaii International Conference on: IEEE, pp. 1–8, 2009.
Journal Article
Bessani, A. Neves, A. Daidone, I. Gashi, R. Obelheiro, P. Sousa, and V. Stankovic, "Enhancing fault/intrusion tolerance through design and configuration diversity", Proceedings of the 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems–WRAITS, vol. 9, 2009.
Stankovic, V., A. Neves Bessani, A. Daidone, I. Gashi, RR. Obelheiro, and P. Sousa, "Enhancing Fault/Intrusion tolerance through design and configuration diversity", Proc. of the 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS 2009), 2009.
Verissimo, P., M. Correia, N. Ferreira Neves, and P. Sousa, "Intrusion-resilient middleware design and validation", Information Assurance, Security and Privacy Services, vol. 4, pp. 615–678, 2009.
Conference Paper
Sousa, P., A. Neves Bessani, W. S. Dantas, F. Souto, M. Correia, and N. Ferreira Neves, "Intrusion-tolerant self-healing devices for critical infrastructure protection", Dependable Systems & Networks, 2009. DSN'09. IEEE/IFIP International Conference on: IEEE, pp. 217–222, 2009.
Journal Article
Sousa, P., A. Neves Bessani, W. S. Dantas, F. Souto, M. Correia, and N. Ferreira Neves, Intrusion-Tolerant Self-Healing Devices fror Critical Infrastructure Protection, : 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009), 2009.
Vieira, F., P. Sousa, and A. Neves Bessani, "Transparent Byzantine Fault-Tolerant Directory Service using COTS components", Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009)-Fast Abstract, Estoril, Portugal, 2009.
Correia, M., A. Neves Bessani, P. Sousa, N. Ferreira Neves, and P. Verissimo, Critical Infrastructure Protection: the CRUTIAL Project, , 2008.
Bessani, A. Neves, P. Sousa, M. Correia, N. Ferreira Neves, and P. Verissimo, "The CRUTIAL way of critical infrastructure protection", Security & Privacy, IEEE, vol. 6, no. 6: IEEE, pp. 44–51, 2008.
Bessani, A. Neves, R. R. Obelheiro, P. Sousa, and I. Gashi, On the effects of diversity on intrusion tolerance, : Department of Informatics, University of Lisbon, 2008.
Conference Paper
Bessani, A. Neves, H. P. Reiser, P. Sousa, I. Gashi, V. Stankovic, T. Distler, R. Kapitza, A. Daidone, and R. Obelheiro, "Forever: Fault/intrusion removal through evolution & recovery", Proceedings of the ACM/IFIP/USENIX Middleware'08 Conference Companion: ACM, pp. 99–101, 2008.
Sousa, P., A. Neves Bessani, and R. R. Obelheiro, "The FOREVER service for fault/intrusion removal", Proceedings of the 2nd workshop on Recent advances on intrusiton-tolerant systems: ACM, pp. 5, 2008.
Journal Article
Sousa, P., Segurança e Disponibilidade através de Resiliência Proactiva, : Department of Informatics, University of Lisbon, 2008.
Ortiz, H., P. Sousa, and P. Verissimo, Towards Intrusion-Tolerant Process Control Software, : SINO 2008-4ª Conferência Nacional sobre Segurança Informática nas Organizações, 2008.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "Hidden problems of asynchronous proactive recovery", Proceedings of the Workshop on Hot Topics in System Dependability, 2007.
Bessani, A. Neves, P. Sousa, M. Correia, N. Ferreira Neves, and P. Verissimo, Intrusion-tolerant protection for critical infrastructures, : Department of Informatics, University of Lisbon, 2007.
Sousa, P., Proactive Resilience, : Department of Informatics, University of Lisbon, 2007.
Bessani, A. Neves, P. Sousa, M. Correia, N. Ferreira Neves, and P. Verissimo, Protecting CRUTIAL Things, : 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007.
Conference Paper
Sousa, P., A. Neves Bessani, M. Correia, N. Ferreira Neves, and P. Verissimo, "Resilient intrusion tolerance through proactive and reactive recovery", Dependable Computing, 2007. PRDC 2007. 13th Pacific Rim International Symposium on: IEEE, pp. 373–380, 2007.
Journal Article
Sousa, P., "Proactive resilience", Sixth European Dependable Computing Conference (EDCC-6) Supplemental Volume, pp. 27–32, 2006.
Conference Paper
Sousa, P., N. Ferreira Neves, P. Verissimo, and W. H. Sanders, "Proactive resilience revisited: The delicate balance between resisting intrusions and remaining available", Reliable Distributed Systems, 2006. SRDS'06. 25th IEEE Symposium on: IEEE, pp. 71–82, 2006.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "Proactive resilience through architectural hybridization", Proceedings of the 2006 ACM symposium on Applied computing: ACM, pp. 686–690, 2006.
Journal Article
Neves, N. Ferreira, P. Verissimo, P. Sousa, and A. Lopes, On the Resilience of Intrusion-Tolerant Distributed Systems, : Department of Informatics, University of Lisbon, 2006.
Conference Paper
Sousa, P., N. Ferreira Neves, A. Lopes, and P. Verissimo, "On the resilience of intrusion-tolerant distributed systems", DI/FCUL TR 06–14, DEP. OF INFORMATICS, UNIV. OF LISBON, SEPTEMBER 2006.–PRELIMINARY ARCHITECTURE SPECIFICATION PAGE 100, 2006.
Conference Paper
Sousa, P., N. Ferreira Neves, and P. Verissimo, "How resilient are distributed f fault/intrusion-tolerant systems?", Dependable Systems and Networks, 2005. DSN 2005. Proceedings. International Conference on: IEEE, pp. 98–107, 2005.
Journal Article
Sousa, P., N. Ferreira Neves, and P. Verissimo, "A New Approach to Proactive Recovery", Fifth European Dependable Computing Conference (EDCC-5) Supplemental Volume. Budapest, Hungary, pp. 35–40, 2005.
Martins, P., P. Sousa, A. Casimiro, and P. Verissimo, "A new programming model for dependable adaptive real-time applications", Distributed Systems Online, IEEE, vol. 6, no. 5: IEEE, 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, Resilence State Machine Replication, , 2005.
Conference Paper
Sousa, P., N. Ferreira Neves, and P. Verissimo, "Resilient state machine replication", Dependable Computing, 2005. Proceedings. 11th Pacific Rim International Symposium on: IEEE, pp. 5–pp, 2005.
Martins, P., P. Sousa, A. Casimiro, and P. Venssimo, "Dependable adaptive real-time applications in wormhole-based systems", Dependable Systems and Networks, 2004 International Conference on: IEEE, pp. 567–572, 2004.