miguel pupo correia
 

at Beijing for SRDS'07

home

publications by date

publications by topic

students

projects

events

teaching

software

presentations

media coverage


em Português:

informação para potenciais alunos

segurança informática

ensino e investigação

 

personal

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)

publications

• 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)

projects

CMU-Portugal Research and Education Partnership
FTH-Grid - Fault-Tolerant Hierarchical Grid Scheduling, PT-FR cooperation, with Univ. Paris VI
(more)

software

Trusted Timely Computing Base (TTCB)
Dependable Tuple Space (DepSpace)
Detector of integEr vulnerabilitiEs in softwarE Portability (DEEEP)
Randomized Intrusion-Tolerant Asynchronous Services (RITAS)
(more)

events

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)

teaching

• 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.

home | last update: 17-09-2009