Home
Primary tabs
"DepSky: dependable and secure storage in a cloud-of-clouds",
ACM Transactions on Storage (TOS), vol. 9, no. 4: ACM, pp. 12, 2013.
"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.
"Melhorando a Fiabilidade e Segurança do Armazenamento em Clouds",
Actas do INFORUM, 2010.
"Rave: Replicated antivirus engine",
Dependable Systems and Networks Workshops (DSN-W), 2010 International Conference on: IEEE, pp. 170–175, 2010.
"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.
"Cheap intrusion-tolerant protection for crutial things",
Technical Report DI-FCUL TR-2009-14, 2009.
"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.
"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.
"Enhancing Fault/Intrusion tolerance through design and configuration diversity",
Proc. of the 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS 2009), 2009.
"Intrusion-resilient middleware design and validation",
Information Assurance, Security and Privacy Services, vol. 4, pp. 615–678, 2009.
"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.
Intrusion-Tolerant Self-Healing Devices fror Critical Infrastructure Protection,
: 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009), 2009.
"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.
"The CRUTIAL way of critical infrastructure protection",
Security & Privacy, IEEE, vol. 6, no. 6: IEEE, pp. 44–51, 2008.
On the effects of diversity on intrusion tolerance,
: Department of Informatics, University of Lisbon, 2008.
"Forever: Fault/intrusion removal through evolution & recovery",
Proceedings of the ACM/IFIP/USENIX Middleware'08 Conference Companion: ACM, pp. 99–101, 2008.
"The FOREVER service for fault/intrusion removal",
Proceedings of the 2nd workshop on Recent advances on intrusiton-tolerant systems: ACM, pp. 5, 2008.
Segurança e Disponibilidade através de Resiliência Proactiva,
: Department of Informatics, University of Lisbon, 2008.
Towards Intrusion-Tolerant Process Control Software,
: SINO 2008-4ª Conferência Nacional sobre Segurança Informática nas Organizações, 2008.
"Hidden problems of asynchronous proactive recovery",
Proceedings of the Workshop on Hot Topics in System Dependability, 2007.
Intrusion-tolerant protection for critical infrastructures,
: Department of Informatics, University of Lisbon, 2007.
Proactive Resilience,
: Department of Informatics, University of Lisbon, 2007.
Protecting CRUTIAL Things,
: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007.
"Resilient intrusion tolerance through proactive and reactive recovery",
Dependable Computing, 2007. PRDC 2007. 13th Pacific Rim International Symposium on: IEEE, pp. 373–380, 2007.
"Proactive resilience",
Sixth European Dependable Computing Conference (EDCC-6) Supplemental Volume, pp. 27–32, 2006.
"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.
"Proactive resilience through architectural hybridization",
Proceedings of the 2006 ACM symposium on Applied computing: ACM, pp. 686–690, 2006.
"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.
On the Resilience of Intrusion-Tolerant Distributed Systems,
: Department of Informatics, University of Lisbon, 2006.
How dependable are distributed f fault/intrusion-tolerant systems?,
: Department of Informatics, University of Lisbon, 2005.
"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.
"A New Approach to Proactive Recovery",
Fifth European Dependable Computing Conference (EDCC-5) Supplemental Volume. Budapest, Hungary, pp. 35–40, 2005.
"A new programming model for dependable adaptive real-time applications",
Distributed Systems Online, IEEE, vol. 6, no. 5: IEEE, 2005.
Resilence State Machine Replication,
, 2005.
"Resilient state machine replication",
Dependable Computing, 2005. Proceedings. 11th Pacific Rim International Symposium on: IEEE, pp. 5–pp, 2005.
"Dependable adaptive real-time applications in wormhole-based systems",
Dependable Systems and Networks, 2004 International Conference on: IEEE, pp. 567–572, 2004.
Analysis and Design of Application Scenarios,
: Department of Informatics, University of Lisbon, 2003.
Concretização de um cenário de carros cooperantes num ambiente móvel sem fios,
: Department of Informatics, University of Lisbon, 2003.
Proof-of-concept prototypes,
: Department of Informatics, University of Lisbon, 2003.
"Towards a cooperating autonomous car",
Proceedings of the 7th CaberNet Radicals Workshop, 2002.
