|
personal
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)
publications
• 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)
projects
•
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)
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
•
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)
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.
|