???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.
Identification

Personal identification

Full name
Miguel Garcia

Citation names

  • Miguel Garcia

Author identifiers

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

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
English Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
Education
Degree Classification
2013 - 2019/05/22
Concluded
 Doutoramento em Informática (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
2009 - 2011
Concluded
 Mestrado em Informática (Mestrado)
Universidade de Lisboa, Portugal
" Diversity Management in Intrusion Tolerant Systems" (THESIS/DISSERTATION)
 17
2006 - 2009
Concluded
 Licenciatura em Tecnologias da Informação e Comunicação - Minor em Estatíst (Licenciatura)
Universidade de Lisboa, Portugal
 14
Affiliation

Others

Category
Host institution 		Employer
2008/08 - 2008/09 Estagiário (Técnica) Oni Communications, Portugal
2007/08 - 2007/09 Estagiário (Técnica) Oni Communications, Portugal
Outputs

Publications

Conference paper
  1. Garcia, Miguel; Bessani, Alysson; Neves, Nuno. "Lazarus: Automatic Management of Diversity in BFT Systems". Paper presented in Middleware, 2019.
    Accepted • 10.1145/3361525.3361550
  2. Nogueira, Andre; Garcia, Miguel; Bessani, Alysson; Neves, Nuno. "On the Challenges of Building a BFT SCADA". 2018.
    Accepted • 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
Journal article
  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
Distinctions

Award

2019 Best Studant Paper