 |
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 University Information Networking Institute
member of LASIGE and the Navigators
email: mpc_AT_di.fc.ul.pt
(more and short bio)
• Randomization Can Be a Healer: Consensus with Dynamic Omission Failures. DISC 2009. (pdf) Best Student Paper Award
• Asynchronous Byzantine Consensus with 2f+1 Processes, SAC 2010. (pdf)
• 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.
• RITAS: Services for Randomized Intrusion Tolerance. IEEE TDSC. To appear. (pdf)
• An Efficient Byzantine-Resilient Tuple Space. IEEE TOC 2009. (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
(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
• 4th Workshop on Recent Advances on Intrusion-Tolerant Systems - WRAITS 2010, co-chair - jointly with DSN'10, June 2010
• Carnegie Mellon |Portugal Security and Dependability Academy Dec. 14-15 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
(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.