Home

B
Bessani, A. Neves, M. Correia, B. Quaresma, F. André, and P. Sousa, "DepSky: dependable and secure storage in a cloud-of-clouds", ACM Transactions on Storage (TOS), vol. 9, no. 4: ACM, pp. 12, 2013.
S
Sousa, P., A. Neves Bessani, M. Correia, N. Ferreira Neves, and P. Verissimo, "Highly available intrusion-tolerant services with proactive-reactive recovery", Parallel and Distributed Systems, IEEE Transactions on, vol. 21, no. 4: IEEE, pp. 452–465, 2010.
S
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.
A
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.
V
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.
S
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.
B
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.
V
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.
S
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.
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.
V
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.
S
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.
Sousa, P., Segurança e Disponibilidade através de Resiliência Proactiva, : Department of Informatics, University of Lisbon, 2008.
O
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.
S
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.
S
Sousa, P., Proactive Resilience, : Department of Informatics, University of Lisbon, 2007.
B
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.
S
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.
Sousa, P., "Proactive resilience", Sixth European Dependable Computing Conference (EDCC-6) Supplemental Volume, pp. 27–32, 2006.
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.
S
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.
Sousa, P., N. Ferreira Neves, and P. Verissimo, How dependable are distributed f fault/intrusion-tolerant systems?, : Department of Informatics, University of Lisbon, 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, How dependable are distributed f fault/tolerant systems?, , 2005.
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.
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.
S
Sousa, P., N. Ferreira Neves, and P. Verissimo, Resilence State Machine Replication, , 2005.
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.
M
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.
C
Cahill, V., A. Casimiro, J. Kaiser, P. Martins, V. Reynolds, P. Sousa, P. Verissimo, and M. Wu, Proof-of-concept prototypes, : Department of Informatics, University of Lisbon, 2003.
S
Sousa, P., and P. Verissimo, "Towards a cooperating autonomous car", Proceedings of the 7th CaberNet Radicals Workshop, 2002.