 |
em Português:
informação para potenciais alunos
Assistant Professor of the Department of Informatics, University of Lisboa Faculty of Sciences
Adjunct Faculty of the Carnegie Mellon Information Networking Institute
member of LASIGE and the Navigators
email: mpc_AT_di.fc.ul.pt
(more)
• Randomization Can Be a Healer: Consensus with Dynamic Omission Failures. DISC 2009. (pdf) Best Student Paper Award
• Spin One’s Wheels? Byzantine Fault Tolerance with a Spinning Primary. SRDS 2009. (pdf)
• Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery. IEEE TPDS. (pdf)
• Vulnerability Removal with Attack Injection. IEEE TSE. To appear.
• An Efficient Byzantine-Resilient Tuple Space. IEEE TOC 58:8, Aug 2009. (pdf)
• RITAS: Services for Randomized Intrusion Tolerance. IEEE TDSC. To appear. (pdf)
• Intrusion-Resilient Middleware Design and Validation. In Information Assurance, Security and Privacy Services, 2009 (pdf)
• Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces. IEEE TPDS 2009 (pdf)
(more by date or by topic)
• CMU-Portugal Research and Education Partnership
• FTH-Grid - Fault-Tolerant Hierarchical Grid Scheduling, PT-FR cooperation, with Univ. Paris VI
• ReSIST - Resilience for Survivability in IST, network of excelence, EC-IST
• CRUTIAL - CRitical UTility InfrastructurAL Resilience, EC-IST
• TISD - Tolerância a Intrusões em Sistemas Distribuídos, CAPES/GRICES
(more)
• Trusted Timely Computing Base (TTCB)
• Dependable Tuple Space (DepSpace)
• Detector of integEr vulnerabilitiEs in softwarE Portability (DEEEP)
• Randomized Intrusion-Tolerant Asynchronous Services (RITAS)
(more)
• INFORUM 2010, co-chair, September 2010 -- call for tracks now open
• 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems - WRAITS 2009, co-chair - jointly with DSN'09, June 29 2009
• 18th Euromicro International Conference on Parallel, Distributed and network-based Processing - PDP 2010, Special Session on Security in Networked and Distributed Systems
• Eighth European Dependable Computing Conference - EDCC 2010
• OWASP Iberic Web Application Security conference - IBWAS09
• 9th Brazilian Symposium on Information and Computer System Security - SBSeg 2009
• X Workshop de Testes e Tolerância a Falhas - WTF 2009
• INForum 2009 - track Segurança de Computadores e Comunicações
• 3rd International Conference on Network and System Security - NSS 2009
• EuroSys Workshop on Virtualization Technology for Dependable Systems - VTDS'09
• IEEE/IFIP International Conference on Dependable Systems and Networks - Performance and Dependability Symposium - DSN/PDS 2009
• IEEE/IFIP International Conference on Dependable Systems and Networks - Workshops Program Committee - DSN 2009
• 29th International Conference on Distributed Computing Systems - ICDCS 2009
• 11th IEEE International Conference on High Performance Computing and Communications - HPCC-09
(more)
• Fault-Tolerant Distributed Systems (Fall 09/10)
• Secure Software Systems (Spring 07/08, Spring 08/09)
(more)
I am often looking for students willing to do a PhD under my supervision. If you are interested in my research topics and are willing to do a PhD, please send me and email and/or apply here.