Miguel Garcia Tavares Henriques
AuthID: R-001-QKH
1
TITLE: LAZARUS: Automatic Management of Diversity in BFT Systems
AUTHORS: Garcia, M; Bessani, A ; Neves, N ;
PUBLISHED: 2019, SOURCE: 20th ACM/IFIP/USENIX International Middleware Conference in MIDDLEWARE'19: PROCEEDINGS OF THE 2019 MIDDLEWARE'19: 20TH INTERNATIONAL MIDDLEWARE CONFERENCE
AUTHORS: Garcia, M; Bessani, A ; Neves, N ;
PUBLISHED: 2019, SOURCE: 20th ACM/IFIP/USENIX International Middleware Conference in MIDDLEWARE'19: PROCEEDINGS OF THE 2019 MIDDLEWARE'19: 20TH INTERNATIONAL MIDDLEWARE CONFERENCE
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Lazarus: Automatic Management of Diversity in BFT Systems
AUTHORS: Miguel Garcia; Alysson Bessani ; Nuno Neves ;
PUBLISHED: 2019, SOURCE: Proceedings of the 20th International Middleware Conference, Middleware 2019, Davis, CA, USA, December 9-13, 2019.
AUTHORS: Miguel Garcia; Alysson Bessani ; Nuno Neves ;
PUBLISHED: 2019, SOURCE: Proceedings of the 20th International Middleware Conference, Middleware 2019, Davis, CA, USA, December 9-13, 2019.
INDEXED IN: 
DBLP
DBLP3
TITLE: On the Challenges of Building a BFT SCADA
AUTHORS: Andre Nogueira; Miguel Garcia; Alysson Bessani ; Nuno Neves ;
PUBLISHED: 2018, SOURCE: 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2018 48TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN)
AUTHORS: Andre Nogueira; Miguel Garcia; Alysson Bessani ; Nuno Neves ;
PUBLISHED: 2018, SOURCE: 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2018 48TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN)
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP4
TITLE: SieveQ: A Layered BFT Protection System for Critical Services
AUTHORS: Miguel Garcia; Nuno Neves ; Alysson Bessani ;
PUBLISHED: 2018, SOURCE: IEEE Trans. Dependable Sec. Comput., VOLUME: 15, ISSUE: 3
AUTHORS: Miguel Garcia; Nuno Neves ; Alysson Bessani ;
PUBLISHED: 2018, SOURCE: IEEE Trans. Dependable Sec. Comput., VOLUME: 15, ISSUE: 3
INDEXED IN: DBLP
DBLP5
TITLE: Analysis of operating system diversity for intrusion tolerance. ANALYSIS OF OS DIVERSITY FOR INTRUSION TOLERANCE Full Text
AUTHORS: Miguel Garcia; Alysson Bessani ; Ilir Gashi; Nuno Neves ; Rafael Obelheiro;
PUBLISHED: 2014, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 44, ISSUE: 6
AUTHORS: Miguel Garcia; Alysson Bessani ; Ilir Gashi; Nuno Neves ; Rafael Obelheiro;
PUBLISHED: 2014, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 44, ISSUE: 6
6
TITLE: In vitro design of a novel lytic bacteriophage cocktail with therapeutic potential against organisms causing diabetic foot infections
AUTHORS: Joao J Mendes; Clara Leandro; Carla Mottola; Raquel Barbosa; Filipa A Silva; Manuela Oliveira; Cristina L Vilela; Jose Melo Cristino; Andrzej Gorski; Madalena Pimentel; Carlos Sao Jose; Patricia Cavaco Silva; Miguel Garcia;
PUBLISHED: 2014, SOURCE: JOURNAL OF MEDICAL MICROBIOLOGY, VOLUME: 63, ISSUE: PART 8
AUTHORS: Joao J Mendes; Clara Leandro; Carla Mottola; Raquel Barbosa; Filipa A Silva; Manuela Oliveira; Cristina L Vilela; Jose Melo Cristino; Andrzej Gorski; Madalena Pimentel; Carlos Sao Jose; Patricia Cavaco Silva; Miguel Garcia;
PUBLISHED: 2014, SOURCE: JOURNAL OF MEDICAL MICROBIOLOGY, VOLUME: 63, ISSUE: PART 8
7
TITLE: Analysis of operating system diversity for intrusion tolerance
AUTHORS: Miguel Garcia; Alysson Neves Bessani ; Ilir Gashi; Nuno Ferreira Neves ; Rafael R Obelheiro;
PUBLISHED: 2014, SOURCE: Softw., Pract. Exper., VOLUME: 44, ISSUE: 6
AUTHORS: Miguel Garcia; Alysson Neves Bessani ; Ilir Gashi; Nuno Ferreira Neves ; Rafael R Obelheiro;
PUBLISHED: 2014, SOURCE: Softw., Pract. Exper., VOLUME: 44, ISSUE: 6
INDEXED IN: Scopus DBLP
Scopus DBLP8
TITLE: Wound healing potential of topical bacteriophage therapy on diabetic cutaneous wounds. Bacteriophage therapy for cutaneous wounds Full Text
AUTHORS: Joao J Mendes; Clara Leandro; Sofia Corte Real; Raquel Barbosa; Patricia Cavaco Silva ; Jose Melo Cristino ; Andrzej Gorski; Miguel Garcia;
PUBLISHED: 2013, SOURCE: WOUND REPAIR AND REGENERATION, VOLUME: 21, ISSUE: 4
AUTHORS: Joao J Mendes; Clara Leandro; Sofia Corte Real; Raquel Barbosa; Patricia Cavaco Silva ; Jose Melo Cristino ; Andrzej Gorski; Miguel Garcia;
PUBLISHED: 2013, SOURCE: WOUND REPAIR AND REGENERATION, VOLUME: 21, ISSUE: 4
9
TITLE: An intrusion-tolerant firewall design for protecting SIEM systems
AUTHORS: Miguel Garcia; Nuno Ferreira Neves ; Alysson Bessani ;
PUBLISHED: 2013, SOURCE: 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, DSN-W 2013 in 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, DSN Workshops 2013, Budapest, Hungary, June 24-27, 2013
AUTHORS: Miguel Garcia; Nuno Ferreira Neves ; Alysson Bessani ;
PUBLISHED: 2013, SOURCE: 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, DSN-W 2013 in 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop, DSN Workshops 2013, Budapest, Hungary, June 24-27, 2013
10
TITLE: OS Diversity for Intrusion Tolerance: Myth or Reality?
AUTHORS: Miguel Garcia; Alysson Bessani ; Ilir Gashi; Nuno Neves ; Rafael Obelheiro;
PUBLISHED: 2011, SOURCE: IEEE/IFIP 41st International Conference on Dependable Systems and Networks (DSN) in 2011 IEEE/IFIP 41ST INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN)
AUTHORS: Miguel Garcia; Alysson Bessani ; Ilir Gashi; Nuno Neves ; Rafael Obelheiro;
PUBLISHED: 2011, SOURCE: IEEE/IFIP 41st International Conference on Dependable Systems and Networks (DSN) in 2011 IEEE/IFIP 41ST INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN)
