The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Miguel Correia: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
    Randomized Intrusion-Tolerant Asynchronous Services. [Citation Graph (0, 0)][DBLP]
    DSN, 2006, pp:568-577 [Conf]
  2. Nuno Ferreira Neves, Joao Antunes, Miguel Correia, Paulo Veríssimo, Rui Neves
    Using Attack Injection to Discover New Vulnerabilities. [Citation Graph (0, 0)][DBLP]
    DSN, 2006, pp:457-466 [Conf]
  3. Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves
    The Design of a COTSReal-Time Distributed Security Kernel. [Citation Graph (0, 0)][DBLP]
    EDCC, 2002, pp:234-252 [Conf]
  4. Alysson Neves Bessani, Joni da Silva Fraga, Miguel Correia, Lau Cheuk Lung
    Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2006, pp:35- [Conf]
  5. Lau Cheuk Lung, Fábio Favarim, Giuliana Teixeira Santos, Miguel Correia
    An Infrastructure for Adaptive Fault Tolerance on FT-CORBA. [Citation Graph (0, 0)][DBLP]
    ISORC, 2006, pp:504-511 [Conf]
  6. Miguel Correia, Paulo Pinto
    Low-Level Multimedia Synchronization Algorithms on Broadband Networks. [Citation Graph (0, 0)][DBLP]
    ACM Multimedia, 1995, pp:423-434 [Conf]
  7. Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Veríssimo
    Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model. [Citation Graph (0, 0)][DBLP]
    SRDS, 2002, pp:2-11 [Conf]
  8. Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
    How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. [Citation Graph (0, 0)][DBLP]
    SRDS, 2004, pp:174-183 [Conf]
  9. Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
    Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. [Citation Graph (0, 0)][DBLP]
    SRDS, 2006, pp:235-244 [Conf]
  10. João Bom, Paulo Marques, Miguel Correia, Paulo Pinto
    Integrated Dymanic QoS Control for Multimedia Applications. [Citation Graph (0, 0)][DBLP]
    SYBEN, 1998, pp:384-394 [Conf]
  11. Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung
    Brief Announcement: Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems. [Citation Graph (0, 0)][DBLP]
    DISC, 2006, pp:554-556 [Conf]
  12. Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
    CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture. [Citation Graph (0, 0)][DBLP]
    CRITIS, 2006, pp:1-14 [Conf]
  13. Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo
    From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2006, v:49, n:1, pp:82-96 [Journal]
  14. Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo
    Low complexity Byzantine-resilient consensus. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2005, v:17, n:3, pp:237-249 [Journal]
  15. Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo
    Worm-IT - A wormhole-based intrusion-tolerant group communication system. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2007, v:80, n:2, pp:178-197 [Journal]
  16. Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo
    Solving Vector Consensus with a Wormhole. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 2005, v:16, n:12, pp:1120-1131 [Journal]
  17. Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves
    The Architecture of a Secure Group Communication System Based on Intrusion Tolerance. [Citation Graph (0, 0)][DBLP]
    ICDCS Workshops, 2001, pp:17-24 [Conf]
  18. Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia
    Intrusion-Tolerant Architectures: Concepts and Design. [Citation Graph (0, 0)][DBLP]
    WADS, 2002, pp:3-36 [Conf]
  19. Alysson Neves Bessani, Miguel Correia, Joni da Silva Fraga, Lau Cheuk Lung
    Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems. [Citation Graph (0, 0)][DBLP]
    NCA, 2007, pp:231-238 [Conf]
  20. Fábio Favarim, Joni da Silva Fraga, Lau Cheuk Lung, Miguel Correia
    GRIDTS: A New Approach for Fault-Tolerant Scheduling in Grid Computing. [Citation Graph (0, 0)][DBLP]
    NCA, 2007, pp:187-194 [Conf]
  21. 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. [Citation Graph (0, 0)][DBLP]
    DISC, 2007, pp:480-481 [Conf]

  22. Intrusion Tolerant Services Through Virtualization: A Shared Memory Approach. [Citation Graph (, )][DBLP]


  23. 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems WRAITS 2009. [Citation Graph (, )][DBLP]


  24. Intrusion-tolerant self-healing devices for critical infrastructure protection. [Citation Graph (, )][DBLP]


  25. Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned. [Citation Graph (, )][DBLP]


  26. The CRUTIAL Architecture for Critical Information Infrastructures. [Citation Graph (, )][DBLP]


  27. Exploiting Tuple Spaces to Provide Fault-Tolerant Scheduling on Computational Grids. [Citation Graph (, )][DBLP]


  28. Finite Memory: A Vulnerability of Intrusion-Tolerant Systems. [Citation Graph (, )][DBLP]


  29. Resilient Intrusion Tolerance through Proactive and Reactive Recovery. [Citation Graph (, )][DBLP]


  30. Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. [Citation Graph (, )][DBLP]


  31. On the Effects of Finite Memory on Intrusion-Tolerant Systems. [Citation Graph (, )][DBLP]


  32. Asynchronous Byzantine consensus with 2f+1 processes. [Citation Graph (, )][DBLP]


  33. Evaluating Byzantine Quorum Systems. [Citation Graph (, )][DBLP]


  34. Randomization Can Be a Healer: Consensus with Dynamic Omission Failures. [Citation Graph (, )][DBLP]


  35. DepSpace: a byzantine fault-tolerant coordination service. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002