Follow
Paulo Sousa
Paulo Sousa
LetsGetChecked
Verified email at letsgetchecked.com - Homepage
Title
Cited by
Cited by
Year
DepSky: dependable and secure storage in a cloud-of-clouds
A Bessani, M Correia, B Quaresma, F André, P Sousa
Acm transactions on storage (tos) 9 (4), 1-33, 2013
9462013
Highly available intrusion-tolerant services with proactive-reactive recovery
P Sousa, AN Bessani, M Correia, NF Neves, P Verissimo
IEEE Transactions on Parallel and Distributed Systems 21 (4), 452-465, 2009
1852009
Resilient intrusion tolerance through proactive and reactive recovery
P Sousa, AN Bessani, M Correia, NF Neves, P Verissimo
13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007 …, 2007
1082007
The CRUTIAL way of critical infrastructure protection
AN Bessani, P Sousa, M Correia, NF Neves, P Verissimo
IEEE Security & Privacy 6 (6), 44-51, 2008
1032008
How resilient are distributed f fault/intrusion-tolerant systems?
P Sousa, NF Neves, P Verissimo
2005 International Conference on Dependable Systems and Networks (DSN'05 …, 2005
642005
Proactive resilience through architectural hybridization
P Sousa, NF Neves, P Veríssimo
Proceedings of the 2006 ACM Symposium on Applied Computing, 686-690, 2006
452006
Hidden problems of asynchronous proactive recovery
P Sousa, NF Neves, P Verissimo
Proceedings of the Workshop on Hot Topics in System Dependability, 50, 2007
372007
Segurança no software
MP Correia, PJ Sousa
Lisboa: FCA, 2010
342010
The FOREVER service for fault/intrusion removal
P Sousa, AN Bessani, RR Obelheiro
Proceedings of the 2nd workshop on Recent advances on intrusiton-tolerant …, 2008
342008
Proactive resilience revisited: The delicate balance between resisting intrusions and remaining available
P Sousa, NF Neves, P Veríssimo, WH Sanders
2006 25th IEEE Symposium on Reliable Distributed Systems (SRDS'06), 71-82, 2006
292006
Enhancing fault/intrusion tolerance through design and configuration diversity
A Bessani, A Daidone, I Gashi, R Obelheiro, P Sousa, V Stankovic
Proceedings of the 3rd Workshop on Recent Advances on Intrusion-Tolerant …, 2009
282009
Intrusion-tolerant protection for critical infrastructures
AN Bessani, P Sousa, M Correia, NF Neves, P Verissimo
Department of Informatics, University of Lisbon, 2007
262007
Intrusion-resilient middleware design and validation
P Verissimo, M Correia, NF Neves, P Sousa
Information Assurance, Security and Privacy Services 4, 615-678, 2009
212009
User-centric security and dependability in the clouds-of-clouds
M Lacoste, M Miettinen, N Neves, FMV Ramos, M Vukolic, F Charmet, ...
IEEE Cloud Computing 3 (5), 64-75, 2016
192016
Intrusion-tolerant self-healing devices for critical infrastructure protection
P Sousa, AN Bessani, WS Dantas, F Souto, M Correia, NF Neves
2009 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2009
172009
Resilient state machine replication
P Sousa, NF Neves, P Veríssimo
11th Pacific Rim International Symposium on Dependable Computing (PRDC'05 …, 2005
162005
On the resilience of intrusion-tolerant distributed systems
P Sousa, NF Neves, A Lopes, P Verissimo
DI/FCUL TR 06–14, DEP. OF INFORMATICS, UNIV. OF LISBON, SEPTEMBER 2006 …, 2006
142006
Rave: Replicated antivirus engine
C Silva, P Sousa, P Veríssimo
2010 International Conference on Dependable Systems and Networks Workshops …, 2010
122010
Forever: Fault/intrusion removal through evolution & recovery
A Bessani, HP Reiser, P Sousa, I Gashi, V Stankovic, T Distler, R Kapitza, ...
Proceedings of the ACM/IFIP/USENIX Middleware'08 Conference Companion, 99-101, 2008
102008
A new programming model for dependable adaptive real-time applications
P Martins, P Sousa, A Casimiro, P Veríssimo
IEEE Distributed Systems Online 6 (5), 2005
82005
The system can't perform the operation now. Try again later.
Articles 1–20