Miguel Garcia
From Navigators
(Difference between revisions)
(Created page with "{{Person |name=Miguel Garcia |role=PhD student |advisor=Alysson Bessani, Nuno Ferreira Neves, }}") |
Mhenriques (Talk | contribs) |
||
| Line 1: | Line 1: | ||
{{Person | {{Person | ||
|name=Miguel Garcia | |name=Miguel Garcia | ||
| + | |email=mhenriques@lasige.di.fc.ul.pt | ||
| + | |url=http://homepages.lasige.di.fc.ul.pt/~mhenriques/ | ||
|role=PhD student | |role=PhD student | ||
| - | |advisor=Alysson Bessani, Nuno Ferreira Neves, | + | |advisor=Alysson Bessani, Nuno Ferreira Neves, |
}} | }} | ||
Revision as of 20:48, 19 January 2013
PhD student
- Email: mhenriques@lasige.di.fc.ul.pt
- Homepage: http://homepages.lasige.di.fc.ul.pt/~mhenriques/
- Advisor(s): Alysson Bessani, Nuno Ferreira Neves
Projects
Past projects
- SUPERCLOUD (User-Centric Management of Security and Dependability in Clouds of Clouds)
- SEGRID (Security for smart Electricity GRIDs)
- DIVERSE (Diversity for Intrusion-Tolerant Systems)
Publications
- Miguel Garcia, Nuno Ferreira Neves, Alysson Bessani, “SieveQ: A Layered BFT Protection System for Critical Services”, IEEE Transactions on Dependable and Secure Computing, vol. 15, no. 3, pp. 511–525, Jun. 2018.
- André Nogueira, Miguel Garcia, Alysson Bessani, Nuno Ferreira Neves, “On the Challenges of Building a BFT SCADA,”, in Proceedings of the International Conference on Dependable Systems and Networks (DSN), 2018, pp. 8.
- Miguel Garcia, Alysson Bessani, Nuno Ferreira Neves, “Towards an Execution Environment for Intrusion-Tolerant Systems”, in Poster in the 11th European Conference on Computer Systems (EuroSys), London, UK, Apr. 2016.
- Miguel Garcia, Alysson Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro, “Analysis of OS Diversity for Intrusion Tolerance”, Software: Practice and Experience, vol. 44, no. 8, pp. 735–770, Jun. 2014.
- Miguel Garcia, Nuno Ferreira Neves, Alysson Bessani, “An intrusion-tolerant firewall design for protecting SIEM systems”, in Workshop on Systems Resilience in conjunction with the Conference on Dependable Systems and Networks, Jun. 2013.
- Miguel Garcia, Nuno Ferreira Neves, Alysson Bessani, “DIVERSYS: DIVErse Rejuvenation SYStem”, in NFORUM 2012 - Simpósio de Informática, Lisbon, Portugal, Sept. 2012.
- Miguel Garcia, “Diversity Management in Intrusion Tolerant Systems”, Master’s thesis, Mestrado em Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2011.
- Miguel Garcia, Alysson Bessani, Nuno Ferreira Neves, “Diverse OS Rejuvenation for Intrusion Tolerance”, in Poster in Supplement of the IEEE/IFIP International Conference on Dependable Systems and Networks, Jun. 2011.
- Miguel Garcia, Alysson Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro, “OS Diversity for Intrusion Tolerance: Myth or Reality?”, in Proceedings of the International Conference on Dependable Systems and Networks - DSN'11. Hong Kong, China, June 2011., Jun. 2011.
BibTeX
Navigators - Miguel Garcia| Faculty members | Alan Oliveira, Alysson Bessani, Ana Respício, António Casimiro, Bernardo Ferreira, Ibéria Medeiros, José Cecílio, Nuno Ferreira Neves, Pedro M. Ferreira, Vinicius Vielmo Cogo |
|---|---|
| Post-doc researchers | David Matos |
| PhD students | Adriano Mão de Ferro, AdrianoSerckumecka, Allan Espíndola, Ana Fidalgo, Carlos Mão de Ferro, Fernando Alves, Miracle Aniakor, Nuno Dionísio, Paulo Antunes, Regivaldo Costa, Robin Vassantlal, Rohit Kumar, Samaneh Shafee, Žygimantas Jasiūnas |
| Hired researchers | (none) |
| MSc students | Alexandre Nascimento, André Cruz, André Gil, Bruno Matos, Daniel Ângelo, David Silva, Diogo Avelãs, Diogo Duarte, Diogo Pires, Diogo Ferreira, Frederico Apolónia, Gabriel Freitas, Gonçalo Reis, Inês Sousa, Jorge Martins, João Loureiro, João Queimado, João Silva, João Valente, Lívio Rodrigues … further results |
| Undergraduate students | Bruno Cotrim, Rodrigo Simões |
| Management | (none) |
