miguel pupo correia           
 

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
 


AMAZON


FCA, FNAC, WOOK, SUBMARINO

short bio

Miguel Correia is an Associate Professor at Instituto Superior Técnico (IST) of the Universidade de Lisboa (ULisboa), in Lisboa, Portugal. He is a researcher at INESC-ID in the Distributed Systems Group (GSD). He is currently the coordinator of the Master Degree (MSc) in Information Systems and Computer Engineering. 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 SafeCloud, PCAS, TCLOUDS, ReSIST, CRUTIAL, and MAFTIA European projects. He has more than 100 publications and is Senior Member of the IEEE. 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_tecnico.ulisboa.pt

(bios and contacts)

research topics

cloud computing security and dependability
intrusion tolerance / byzantine fault tolerance
critical infrastructure protection
software security
others: coordination / tuple spaces, wireless ad-hoc networks, byzantine consensus, intrusion detection, grid computing, distributed multimedia

publications

Hacking the DBMS to Prevent Injection Attacks, CODASPY, 2016
Big Data Analytics for Detecting Host Misbehavior in Large Logs, Trustcom, 2015
Shuttle: Intrusion Recovery for PaaS, ICDCS, 2015
Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining, IEEE Trans. Rel., 2015
• A Multi-Objective Routing Algorithm for Wireless Multimedia Sensor Networks, Applied Soft. Comp., 2015
SCFS: a Shared Cloud-backed File System, Usenix ATC, 2014
DepSky: Dependable and Secure Storage in a Cloud-of-Clouds. ACM Trans. Storage, 2013.

(more by date or by topic)

projects

SafeCloud - Secure and Resilient Cloud Architecture (EC-IST)
PCAS - Personalised Centralized Authentication System (EC-IST)
• LEAD Clouds - Large Efficient And Dependable Clouds (CAPES/CNPq)

(more)

software

WAP - automatic Web Application Protection (6700+ downloads!) (now a OWASP project!)
Shuttle intrusion recovery service for PaaS clouds
SCFS cloud-backed file system
DepSky cloud-of-clouds storage
php parser
MinBFT, MinZyzzyna, Spinning and EBAWA
Randomized Intrusion-Tolerant Asynchronous Services (RITAS)
Detector of integEr vulnerabilitiEs in softwarE Portability (DEEEP)
Dependable Tuple Space (DepSpace)
Trusted Timely Computing Base (TTCB)

(more)

events

2nd ACM Cyber-Physical System Security Workshop - CPSS 2016
2016 International Conference on Parallel Processing, Algorithms Track - ICPP 2016
Simpósio Brasileiro de Redes de Computadores 2016, Minicursos - SBRC 2016
31st ACM/SIGAPP Symposium on Applied Computing, Operating Systems track - SAC 2016
24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing - Special Session on Security in Parallel, Distributed and Network-Based Computing - PDP 2016

(more)

teaching

• Security and Network Management (2012/13, 2014/15)
• Intrusion Tolerance, Detection and Response (2011/12, 2012/13, 2013/14, 2014/15)
• Computer Networks (1st semester 2011/12, 2012/13, 2013/14, 2014/15)
• Software Security (1st semester 2011/12, 2012/13, 2013/14, 2014/15, 2015/16)
• Network and Systems Management (2012/13, 2014/15)

(more)

I am often looking for post-docs and students willing to do a PhD in Computer Science and Enginnering under my supervision. If you are interested in my research topics and are willing to do a PhD, please send me and email.

My profile at Google Scholar, Microsoft Academic, ACM, DBLP, Scopus, ORCID

home | last update: 29-07-2013