???global.info.a_carregar???
Miguel Garcia Tavares Henriques. Concluiu Mestrado em Informática pela Universidade de Lisboa em 2011. É da Universidade de Lisboa. No seu curriculum DeGóis os termos mais frequentes na contextualização da produção científica, tecnológica e artístico-cultural são: Diversidade, Recuperação Proactiva, Sistemas Operativos, Tolerância a Intrusões e Vulnerabilidades.
Identificação

Identificação pessoal

Nome completo
Miguel Garcia

Nomes de citação

  • Miguel Garcia

Identificadores de autor

Ciência ID
C117-FC12-C4ED
ORCID iD
0000-0002-4920-2151

Websites

Domínios de atuação

  • Ciências Exatas - Ciências da Computação e da Informação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2) Utilizador proficiente (C2)
Formação
Grau Classificação
2013 - 2019/05/22
Concluído
 Doutoramento em Informática (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2009 - 2011
Concluído
 Mestrado em Informática (Mestrado)
Universidade de Lisboa, Portugal
" Diversity Management in Intrusion Tolerant Systems" (TESE/DISSERTAÇÃO)
 17
2006 - 2009
Concluído
 Licenciatura em Tecnologias da Informação e Comunicação - Minor em Estatíst (Licenciatura)
Universidade de Lisboa, Portugal
 14
Percurso profissional

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2008/08 - 2008/09 Estagiário (Técnica) Oni Communications, Portugal
2007/08 - 2007/09 Estagiário (Técnica) Oni Communications, Portugal
Produções

Publicações

Artigo em conferência
  1. Garcia, Miguel; Bessani, Alysson; Neves, Nuno. "Lazarus: Automatic Management of Diversity in BFT Systems". Trabalho apresentado em Middleware, 2019.
    Aceite para publicação • 10.1145/3361525.3361550
  2. Nogueira, Andre; Garcia, Miguel; Bessani, Alysson; Neves, Nuno. "On the Challenges of Building a BFT SCADA". 2018.
    Aceite para publicação • 10.1109/dsn.2018.00028
  3. Garcia, M.; Neves, N.; Bessani, A.. "An intrusion-tolerant firewall design for protecting SIEM systems". 2013.
    10.1109/DSNW.2013.6615538
  4. Garcia, M.; Bessani, A.; Gashi, I.; Neves, N.; Obelheiro, R.. "OS diversity for intrusion tolerance: Myth or reality?". 2011.
    10.1109/DSN.2011.5958251
Artigo em revista
  1. Garcia, Miguel. "SieveQ: A Layered BFT Protection System for Critical Services". IEEE Transactions on Dependable and Secure Computing PP 99 (2016): 1-1.
    10.1109/TDSC.2016.2593442
  2. Garcia, M.; Bessani, A.; Gashi, I.; Neves, N.; Obelheiro, R.. "Analysis of operating system diversity for intrusion tolerance". Software - Practice and Experience 44 6 (2014): 735-770. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899911060&partnerID=MN8TOARS.
    10.1002/spe.2180
Distinções

Prémio

2019 Best Studant Paper