Miguel Garcia

According to our database, Miguel Garcia authored at least 6 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Lazarus: Automatic Management of Diversity in BFT Systems.

Miguel Garcia, Alysson Bessani, Nuno Neves

Proceedings of the 20th International Middleware Conference, 2019

2018

SieveQ: A Layered BFT Protection System for Critical Services.

Miguel Garcia, Nuno Neves, Alysson Bessani

IEEE Trans. Dependable Secur. Comput., 2018

On the Challenges of Building a BFT SCADA.

André Nogueira, Miguel Garcia, Alysson Bessani, Nuno Neves

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2018

2014

Analysis of operating system diversity for intrusion tolerance.

Miguel Garcia, Alysson Neves Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro

Softw. Pract. Exp., 2014

2013

An intrusion-tolerant firewall design for protecting SIEM systems.

Miguel Garcia, Nuno Ferreira Neves, Alysson Bessani

Proceedings of the 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, 2013

2011

OS diversity for intrusion tolerance: Myth or reality?

Miguel Garcia, Alysson Neves Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011