|
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
FCA,
FNAC,
WOOK,
SUBMARINO
| |
short
bio
Miguel Correia is an Associate Professor at
Instituto Superior Técnico (IST) of the
Universidade Técnica de Lisboa (UTL), in
Lisboa,
Portugal. He is a researcher
at INESC-ID, in the
Distributed Systems Group. He has a
PhD in Computer Science from the University of Lisboa
Faculty of Sciences. He has been involved in several
international and national research projects related to intrusion
tolerance and security, including the TCLOUDS, MAFTIA and CRUTIAL EC-IST projects,
and the ReSIST NoE. He has more than 60 publications in international journals, conferences and
workshops. His main research interests are: security, intrusion
tolerance, distributed
systems, distributed algorithms, computer networks, cloud computing, and
critical infrastructure protection.
email:
miguel.p.correia_AT_ist.utl.pt
(more bios and contacts)
research topics
•
cloud computing security and dependability
(RSA Conference USA
2012 slides)
•
intrusion tolerance / byzantine fault tolerance
•
critical infrastructure protection
•
others: coordination /
tuple spaces, wireless
ad-hoc networks, byzantine
consensus, intrusion detection,
software security,
grid computing,
distributed multimedia
publications
•
Byzantine Fault-Tolerant
MapReduce: Faults Are Not Just Crashes, IEEE CloudCom 2011. Best
Paper Award
•
Efficient Byzantine Fault Tolerance, IEEE TC, to appear.
•
The Final Frontier: Confidentiality and Privacy
in the Cloud, IEEE Computer, 2011
• DEPSKY: Dependable and Secure Storage in a Cloud-of-Clouds, EuroSys
2011
• Randomization Can Be a Healer:
Consensus with Dynamic Omission Failures. Distr. Comp. J. 2011
• Byzantine consensus in
asynchronous message-passing systems: a survey, IJCCBS 2011
• RITAS: Services for Randomized
Intrusion Tolerance. IEEE TDSC 2011.
• EBAWA: Efficient Byzantine Agreement for Wide-Area Networks, HASE
2010.
• Turquois: Byzantine Consensus in
Wireless Ad hoc Networks, DSN 2010.
• Highly Available
Intrusion-Tolerant Services with Proactive-Reactive Recovery. IEEE TPDS
2010.
• Vulnerability Removal with Attack Injection. IEEE TSE
2010.
• Randomization Can Be a Healer:
Consensus with Dynamic Omission Failures. DISC 2009.
Best Student Paper Award
•
Segurança no Software, FCA
editores. Setembro de 2010 (w/ Paulo Sousa)
(more by date
or by topic)
projects
•
FastFix -
Monitoring Control for Remote Software Maintenance (EC-IST)
•
RC-Clouds -- Resilient Computing in the Clouds (FCT) - coordinator
•
REGENESYS - Regeneration
of Replicated Systems (FCT) - coordinator
•
DIVERSE - Diversity for Intrusion Tolerant Systems (FCT)
•
ReD - Resilient Database Clusters
(FCT)
(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)
•
MinBFT, MinZyzzyna, Spinning and EBAWA
•
php parser
(more)
events
•
9th European Dependable Computing Conference
- EDCC 2012, program chair
•
1st International Workshop on Dependability Issues in Cloud Computing
- DISCCO, co-chair with Neeraj Mittal
•
INForum 2012 - sessão Segurança
de Sistemas de Computadores e Comunicações
•
IEEE/IFIP International Conference on
Dependable Systems and Networks - Performance and Dependability
Symposium - DSN/PDS 2012
•
9th IFIP International Conference on
Network and Parallel Computing - NPC 2012
•
XIII Workshop de Testes e Tolerância a Falhas - WTF 2012
•
INFORUM 2011 - Computer and Communication Systems Security track, co-chair
•
Conference on Electronics,
Telecommunications and Computers - CETC 2011
•
20th Euromicro International
Conference on Parallel, Distributed and Network-Based Computing special
session Security in Networked and Distributed Systems - SNDS 2012
•
3rd Cloud Computing International
Conference - CloudViews 2011
•
XI Workshop de Testes e Tolerância a Falhas - WTF 2011
•
2011 ACM International
Conference on Computing Frontiers - CF'11
•
31st International Conference on Distributed Computing Systems - ICDCS
2011
•
5th Workshop on Recent
Advances on Intrusion-Tolerant Systems - WRAITS 2011
•
Workshop on Recent
Advances on Intrusion-Tolerant Systems - WRAITS, steering committee member
•
INForum Simpósio de Informática,
steering committee member (comissão coordenadora)
(more)
teaching
• Computer Networks (Fall 11/12)
• Software Security (Fall 11/12)
• Fault-Tolerant Distributed Systems (Fall 09/10)
• Secure Software Systems (Spring 09/10, Spring
10/11)
(more)
I am often looking for post-docs and 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.
|
