Miguel Correia

Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung, Paulo Veríssimo: Efficient Byzantine Fault-Tolerance. IEEE Trans. Computers 62(1): 16-30 (2013)

Luciana Arantes, Alysson Neves Bessani, V. Cogo, Miguel Correia, Pedro Costa, Jonathan Lejeune, M. Piffaretti, Olivier Marin, Marcelo Pasin, Pierre Sens, F. Silva, Julien Sopena: Vers une plate-forme MapReduce tolérant les fautes byzantines. Technique et Science Informatiques 31(8-10): 1079-1099 (2012)

Miguel Correia, Pedro Costa, Marcelo Pasin, Alysson Neves Bessani, Fernando Ramos, Paulo Veríssimo: On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds. SRDS 2012: 448-453

Cristian Constantinescu, Miguel P. Correia (Eds.): 2012 Ninth European Dependable Computing Conference, Sibiu, Romania, May 8-11, 2012. IEEE 2012, isbn 978-1-4673-0938-7

Francisco Rocha, Salvador Abreu, Miguel Correia: The Final Frontier: Confidentiality and Privacy in the Cloud. IEEE Computer 44(9): 44-50 (2011)

Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Randomization can be a healer: consensus with dynamic omission failures. Distributed Computing 24(3-4): 165-175 (2011)

Miguel Correia, Giuliana Santos Veronese, Nuno Ferreira Neves, Paulo Veríssimo: Byzantine consensus in asynchronous message-passing systems: a survey. IJCCBS 2(2): 141-161 (2011)

Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: RITAS: Services for Randomized Intrusion Tolerance. IEEE Trans. Dependable Sec. Comput. 8(1): 122-136 (2011)

Pedro Costa, Marcelo Pasin, Alysson Neves Bessani, Miguel Correia: Byzantine Fault-Tolerant MapReduce: Faults are Not Just Crashes. CloudCom 2011: 32-39

Alysson Neves Bessani, Miguel P. Correia, Bruno Quaresma, Fernando André, Paulo Sousa: DepSky: dependable and secure storage in a cloud-of-clouds. EuroSys 2011: 31-46

Aldelir Fernando Luiz, Lau Cheuk Lung, Miguel Correia: Byzantine Fault-Tolerant Transaction Processing for Replicated Databases. NCA 2011: 83-90

Xavier Vilaça, João Leitão, Miguel Correia, Luís Rodrigues: N-party BAR Transfer. OPODIS 2011: 392-408

Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery. IEEE Trans. Parallel Distrib. Syst. 21(4): 452-465 (2010)

João Antunes, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo, Rui Neves: Vulnerability Discovery with Attack Injection. IEEE Trans. Software Eng. 36(3): 357-370 (2010)

Valdir Stumm Jr., Lau Cheuk Lung, Miguel Correia, Joni da Silva Fraga, Jim Lau: Intrusion Tolerant Services Through Virtualization: A Shared Memory Approach. AINA 2010: 768-774

Henrique Moniz, Nuno Ferreira Neves, Miguel Correia: Turquois: Byzantine consensus in wireless ad hoc networks. DSN 2010: 537-546

Miguel Correia, Partha Pal: 4th workshop on recent advances in intrusion-tolerant systems WRAITS 2010. DSN 2010: 621-622

Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung: EBAWA: Efficient Byzantine Agreement for Wide-Area Networks. HASE 2010: 10-19

Miguel Correia, Giuliana Santos Veronese, Lau Cheuk Lung: Asynchronous Byzantine consensus with 2f+1 processes. SAC 2010: 475-480

Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung: An Efficient Byzantine-Resilient Tuple Space. IEEE Trans. Computers 58(8): 1080-1094 (2009)

Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung: Sharing Memory between Byzantine Processes Using Policy-Enforced Tuple Spaces. IEEE Trans. Parallel Distrib. Syst. 20(3): 419-432 (2009)

Paulo Sousa, Alysson Neves Bessani, Wagner Saback Dantas, Fabio Souto, Miguel Correia, Nuno Ferreira Neves: Intrusion-tolerant self-healing devices for critical infrastructure protection. DSN 2009: 217-222

Saurabh Bagchi, Miguel Correia, Partha Pal: 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems WRAITS 2009. DSN 2009: 600-601

Paulo Veríssimo, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa: Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned. HICSS 2009: 1-8

Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung: Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary. SRDS 2009: 135-144

Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Randomization Can Be a Healer: Consensus with Dynamic Omission Failures. DISC 2009: 63-77

Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: The Crutial Way of Critical Infrastructure Protection. IEEE Security & Privacy 6(6): 44-51 (2008)

Miguel Correia, Alysson Neves Bessani, Paulo Veríssimo: On Byzantine generals with alternative plans. J. Parallel Distrib. Comput. 68(9): 1291-1296 (2008)

Alysson Neves Bessani, Eduardo Adílio Pelinson Alchieri, Miguel Correia, Joni da Silva Fraga: DepSpace: a byzantine fault-tolerant coordination service. EuroSys 2008: 163-176

Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo: Finite Memory: A Vulnerability of Intrusion-Tolerant Systems. NCA 2008: 37-44

Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo: Worm-IT - A wormhole-based intrusion-tolerant group communication system. Journal of Systems and Software 80(2): 178-197 (2007)

Gunjan Khanna, Mike Yu Cheng, Padma Varadharajan, Saurabh Bagchi, Miguel P. Correia, Paulo Veríssimo: Automated Rule-Based Diagnosis through a Distributed Monitor System. IEEE Trans. Dependable Sec. Comput. 4(4): 266-279 (2007)

Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, Anas Abou El Kalam, Andrea Bondavalli, Alessandro Daidone: The CRUTIAL Architecture for Critical Information Infrastructures. WADS 2007: 1-27

Fábio Favarim, Joni da Silva Fraga, Lau Cheuk Lung, Miguel Correia, João Felipe Santos: Exploiting Tuple Spaces to Provide Fault-Tolerant Scheduling on Computational Grids. ISORC 2007: 403-411

Fábio Favarim, Joni da Silva Fraga, Lau Cheuk Lung, Miguel Correia: GRIDTS: A New Approach for Fault-Tolerant Scheduling in Grid Computing. NCA 2007: 187-194

Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung: Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems. NCA 2007: 231-238

Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Antonio Casimiro, Paulo Veríssimo: Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. PRDC 2007: 357-364

Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: Resilient Intrusion Tolerance through Proactive and Reactive Recovery. PRDC 2007: 373-380

Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo: On the Effects of Finite Memory on Intrusion-Tolerant Systems. PRDC 2007: 401-404

Wagner Saback Dantas, Alysson Neves Bessani, Joni da Silva Fraga, Miguel Correia: Evaluating Byzantine Quorum Systems. SRDS 2007: 253-264

Alysson Neves Bessani, Miguel Correia, Henrique Moniz, Nuno Ferreira Neves, Paulo Veríssimo: When 3f+1 Is Not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus. DISC 2007: 480-481

Pan Jieke, João Redol, Miguel Correia: Specification-based Intrusion Detection System for Carrier Ethernet. WEBIST (1) 2007: 426-429

Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures. Comput. J. 49(1): 82-96 (2006)

Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia: CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture. CRITIS 2006: 1-14

Nuno Ferreira Neves, João Antunes, Miguel Correia, Paulo Veríssimo, Rui Neves: Using Attack Injection to Discover New Vulnerabilities. DSN 2006: 457-466

Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Randomized Intrusion-Tolerant Asynchronous Services. DSN 2006: 568-577

Alysson Neves Bessani, Joni da Silva Fraga, Miguel Correia, Lau Cheuk Lung: Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces. ICDCS 2006: 35

Lau Cheuk Lung, Fábio Favarim, Giuliana Teixeira Santos, Miguel Correia: An Infrastructure for Adaptive Fault Tolerance on FT-CORBA. ISORC 2006: 504-511

Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. SRDS 2006: 235-244

Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung: Brief Announcement: Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems. DISC 2006: 554-556

Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo: Low complexity Byzantine-resilient consensus. Distributed Computing 17(3): 237-249 (2005)

Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Solving Vector Consensus with a Wormhole. IEEE Trans. Parallel Distrib. Syst. 16(12): 1120-1131 (2005)

Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. SRDS 2004: 174-183

Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves: The Design of a COTSReal-Time Distributed Security Kernel. EDCC 2002: 234-252

Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia: Intrusion-Tolerant Architectures: Concepts and Design. WADS 2002: 3-36

Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Veríssimo: Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model. SRDS 2002: 2-11

Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves: The Architecture of a Secure Group Communication System Based on Intrusion Tolerance. ICDCS Workshops 2001: 17-24

João Bom, Paulo Marques, Miguel Correia, Paulo Pinto: Integrated Dymanic QoS Control for Multimedia Applications. SYBEN 1998: 384-394

Miguel Correia, Paulo Pinto: Low-Level Multimedia Synchronization Algorithms on Broadband Networks. ACM Multimedia 1995: 423-434