Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Miguel Correia
Miguel P. Correia
2010 – today
- 2013
[j18]Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: BFT-TO: Intrusion Tolerance with Less Replicas. Comput. J. 56(6): 693-715 (2013)- [j17]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)
- 2012
- [j16]Luciana Arantes, Alysson Neves Bessani, Vinicius 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)
- [c41]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
- [e1]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
- 2011
- [j15]Francisco Rocha, Salvador Abreu, Miguel Correia: The Final Frontier: Confidentiality and Privacy in the Cloud. IEEE Computer 44(9): 44-50 (2011)
- [j14]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)
- [j13]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)
- [j12]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)
- [c40]Pedro Costa, Marcelo Pasin, Alysson Neves Bessani, Miguel Correia: Byzantine Fault-Tolerant MapReduce: Faults are Not Just Crashes. CloudCom 2011: 32-39
- [c39]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
- [c38]Aldelir Fernando Luiz, Lau Cheuk Lung, Miguel Correia: Byzantine Fault-Tolerant Transaction Processing for Replicated Databases. NCA 2011: 83-90
- [c37]Xavier Vilaça, João Leitão, Miguel Correia, Luís Rodrigues: N-party BAR Transfer. OPODIS 2011: 392-408
- 2010
- [j11]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)
- [j10]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)
- [c36]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
- [c35]Henrique Moniz, Nuno Ferreira Neves, Miguel Correia: Turquois: Byzantine consensus in wireless ad hoc networks. DSN 2010: 537-546
- [c34]Miguel Correia, Partha Pal: 4th workshop on recent advances in intrusion-tolerant systems WRAITS 2010. DSN 2010: 621-622
- [c33]Giuliana Santos Veronese, Miguel Correia, Alysson Neves Bessani, Lau Cheuk Lung: EBAWA: Efficient Byzantine Agreement for Wide-Area Networks. HASE 2010: 10-19
- [c32]Miguel Correia, Giuliana Santos Veronese, Lau Cheuk Lung: Asynchronous Byzantine consensus with 2f+1 processes. SAC 2010: 475-480
2000 – 2009
- 2009
- [j9]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)
- [j8]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)
- [c31]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
- [c30]Saurabh Bagchi, Miguel Correia, Partha Pal: 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems WRAITS 2009. DSN 2009: 600-601
- [c29]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
- [c28]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
- [c27]Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Randomization Can Be a Healer: Consensus with Dynamic Omission Failures. DISC 2009: 63-77
- 2008
- [j7]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)
- [j6]Miguel Correia, Alysson Neves Bessani, Paulo Veríssimo: On Byzantine generals with alternative plans. J. Parallel Distrib. Comput. 68(9): 1291-1296 (2008)
- [c26]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
- [c25]Giuliana Santos Veronese, Miguel Correia, Lau Cheuk Lung, Paulo Veríssimo: Finite Memory: A Vulnerability of Intrusion-Tolerant Systems. NCA 2008: 37-44
- 2007
- [j5]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)
- [j4]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)
- [c24]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
- [c23]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
- [c22]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
- [c21]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
- [c20]Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Antonio Casimiro, Paulo Veríssimo: Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. PRDC 2007: 357-364
- [c19]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
- [c18]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
- [c17]Wagner Saback Dantas, Alysson Neves Bessani, Joni da Silva Fraga, Miguel Correia: Evaluating Byzantine Quorum Systems. SRDS 2007: 253-264
- [c16]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
- [c15]Pan Jieke, João Redol, Miguel Correia: Specification-based Intrusion Detection System for Carrier Ethernet. WEBIST (1) 2007: 426-429
- 2006
- [j3]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)
- [c14]Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia: CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture. CRITIS 2006: 1-14
- [c13]Nuno Ferreira Neves, João Antunes, Miguel Correia, Paulo Veríssimo, Rui Neves: Using Attack Injection to Discover New Vulnerabilities. DSN 2006: 457-466
- [c12]Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Randomized Intrusion-Tolerant Asynchronous Services. DSN 2006: 568-577
- [c11]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
- [c10]Lau Cheuk Lung, Fábio Favarim, Giuliana Teixeira Santos, Miguel Correia: An Infrastructure for Adaptive Fault Tolerance on FT-CORBA. ISORC 2006: 504-511
- [c9]Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. SRDS 2006: 235-244
- [c8]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
- 2005
- [j2]Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo: Low complexity Byzantine-resilient consensus. Distributed Computing 17(3): 237-249 (2005)
- [j1]Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Solving Vector Consensus with a Wormhole. IEEE Trans. Parallel Distrib. Syst. 16(12): 1120-1131 (2005)
- 2004
- [c7]Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. SRDS 2004: 174-183
- 2002
- [c6]Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves: The Design of a COTSReal-Time Distributed Security Kernel. EDCC 2002: 234-252
- [c5]Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia: Intrusion-Tolerant Architectures: Concepts and Design. WADS 2002: 3-36
- [c4]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
- 2001
- [c3]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
1990 – 1999
- 1998
- [c2]João Bom, Paulo Marques, Miguel Correia, Paulo Pinto: Integrated Dymanic QoS Control for Multimedia Applications. SYBEN 1998: 384-394
- 1995
- [c1]Miguel Correia, Paulo Pinto: Low-Level Multimedia Synchronization Algorithms on Broadband Networks. ACM Multimedia 1995: 423-434
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-07 00:46 CEST by the dblp team