Miguel Garcia

From Navigators

Revision as of 20:48, 19 January 2013 (view source) Mhenriques (Talk | contribs) ← Older edit		Revision as of 09:00, 4 February 2015 (view source) Mhenriques (Talk | contribs) Newer edit →
Line 5:		Line 5:
	|role=PhD student		|role=PhD student
	|advisor=Alysson Bessani, Nuno Ferreira Neves,		|advisor=Alysson Bessani, Nuno Ferreira Neves,
		+	|shortbio=I am a PhD student at the Faculty of Sciences University of Lisbon and I am also a junior researcher at LaSIGE research group. My adivsors are Professor Alysson Bessani and Professor Nuno Neves.
		+	My mains research interests are Intrusion-tolerance, Diversity and Rejuvenations. I am also interested in topics such as Advanced Persistent Threats, DDoS attacks, Privacy concerns and Smart-grids security.
		+	In 2011 I have finished my M.Sc on Diversity Management in Intrusion Tolerant Systems, advised by Professor Alysson Bessani and Professor Nuno Neves. My thesis' contribution was a study on operating system vulnerabilities that showed that there is empirical evidence supporting the idea that the use of different operating systems on a replicated system makes the system more resilient.
		+	In 2008, while finishing my bachelor, I became a junior member of LaSIGE. I have contributed to FOREVER, advised by Professor Paulo Sousa and Professor Alysson Bessani. I have implemented a replicated system using virtualization (Xen Hypervisor) with different operating systems, and also a proactive recovery mechanism to replace the virtual machines with differente operating systems.
		+
	}}		}}

---

Revision as of 09:00, 4 February 2015

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

I am a PhD student at the Faculty of Sciences University of Lisbon and I am also a junior researcher at LaSIGE research group. My adivsors are Professor Alysson Bessani and Professor Nuno Neves. My mains research interests are Intrusion-tolerance, Diversity and Rejuvenations. I am also interested in topics such as Advanced Persistent Threats, DDoS attacks, Privacy concerns and Smart-grids security. In 2011 I have finished my M.Sc on Diversity Management in Intrusion Tolerant Systems, advised by Professor Alysson Bessani and Professor Nuno Neves. My thesis' contribution was a study on operating system vulnerabilities that showed that there is empirical evidence supporting the idea that the use of different operating systems on a replicated system makes the system more resilient. In 2008, while finishing my bachelor, I became a junior member of LaSIGE. I have contributed to FOREVER, advised by Professor Paulo Sousa and Professor Alysson Bessani. I have implemented a replicated system using virtualization (Xen Hypervisor) with different operating systems, and also a proactive recovery mechanism to replace the virtual machines with differente operating systems.

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

People

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)