Browsing by Author "Miguel Correia"
Now showing 1 - 10 of 60
Results Per Page
Sort Options
- An Efficient Byzantine-Resilient Tuple SpacePublication . Alysson N..Bessani; Miguel Correia; J.S.Fraga; L.C.Lung
- An Intrusion-Tolerant Web Server based on the DISTRACT ArchitecturePublication . Rafael Ferraz; João Sequeira; Bruno Gonçalves; Miguel Correia; Nuno Ferreira Neves; Paulo Veríssimo
- Automated Rule-Based Diagnosis Through a Distributed Monitor SystemPublication . Gunjan Khanna; Mike Yu Cheng; Padma Varadharajan; Saurabh Bagchi; Miguel Correia; Paulo Veríssimo
- Byzantine-Resistance Consensus based on a Novel Approach to Intrusion TolerancePublication . Miguel Correia; Nuno Ferreira Neves; Lau Lung; Paulo Veríssimo
- Cheap Intrusion-Tolerant Protection for CRUTIAL ThingsPublication . Alysson Bessani; Paulo Sousa; Miguel Correia; Nuno Ferreira Neves; Paulo Veríssimo
- Concretização de um Sistema de Comunicação em Grupo Tolerante a IntrusõesPublication . Tiago Jorge; José Pascoal; Miguel Correia; Nuno Ferreira Neves; Paulo Veríssimo
- Critical Infrastructure Protection: the CRUTIAL ProjectPublication . Miguel Correia; Alysson N. Bessani; Paulo Sousa; Nuno F. Neves; Paulo Veríssimo
- Decoupled Quorum-based Byzantine-Resilient Coordination in Open Distributed SystemsPublication . Alysson Neves Bessani; Miguel Correia; Joni Fraga; L.C.Lung
- DepSpace: A Byzantine Fault-Tolerant Coordination ServicePublication . Alysson Neves Bessani; Eduardo Adilio Pelinson Alchieri; Miguel Correia; Joni da Silva Fraga
- DepSpace: A Byzantine Fault-Tolerant Coordination ServicePublication . Alysson Neves Bessani; Eduardo Adilio Pelinson Alchieri; Miguel Correia; Joni da Silva Fraga