Lista dos projetos recentes coordenados por mim e financiados por agências governamentais (CNPq, CAPES ou Fundações Estaduais):
- 2014 - Atual - CNPq - Abys: Sistemas Tolerante a Faltas Bizantina Autonômico
- 2014 - Atual - CNPq - ITSmartGrid - Mecanismos e Protocolos para Tolerância a Intrusões em Smart Grids
- 2013 - Atual - CAPES/CNPq - LEAD Clouds: Large Efficient And Dependable Clouds;
- 2011 - Atual - CNPq - ATISD: Infraestrutura para Desenvolvimento de Aplicações Tolerantes a Intrusões em Sistemas Distribuídos Críticos;
- 2010 - 2012 - CNPq - INTACT: Infraestrutura Tolerante a Intrusões para Proteção de Sistemas Computacional Críticos.