Miguel Correia

Zhengguo Sheng

IEEE Wirel. Commun., 2018

ePRIVO: An Enhanced PRIvacy-preserVing Opportunistic Routing Protocol for Vehicular Delay-Tolerant Networks.

[BibT_eX]

[DOI]

Carlos Borrego

IEEE Trans. Veh. Technol., 2018

Benchmarking Static Analysis Tools for Web Security.

[BibT_eX]

[DOI]

Paulo Jorge Costa Nunes

IEEE Trans. Reliab., 2018

Pando: a Volunteer Computing Platform for the Web.

[BibT_eX]

[DOI]

CoRR, 2018

FlowHacker: Detecting Unknown Network Attacks in Big Traffic Data Using Network Flows.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference On Trust, 2018

S-Audit: Efficient Data Integrity Verification for Cloud Storage.

[BibT_eX]

[DOI]

Filipe Apolinario

Proceedings of the 17th IEEE International Conference On Trust, 2018

Introspection for ARM TrustZone with the ITZ Library.

[BibT_eX]

[DOI]

Miguel Guerra

Benjamin Taubmann

Hans P. Reiser

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions.

[BibT_eX]

[DOI]

Nuno O. Duarte

Nuno Santos

Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2018

RockFS: Cloud-backed File System Resilience to Client-Side Attacks.

[BibT_eX]

[DOI]

Proceedings of the 19th International Middleware Conference, 2018

Koordinator: A Service Approach for Replicating Docker Containers in Kubernetes.

[BibT_eX]

[DOI]

Hylson Vescovi Netto

Luciana de Oliveira Rech

Caio Pereira Oliveira

Proceedings of the 2018 IEEE Symposium on Computers and Communications, 2018

Storing Critical Data in the Cloud: Challenges and Solutions.

[BibT_eX]

Miguel Pupo Correia

Proceedings of the 13th International Conference on Software Technologies, 2018

Fireplug: Flexible and robust N-version geo-replication of graph databases.

[BibT_eX]

[DOI]

Proceedings of the 2018 International Conference on Information Networking, 2018

Securing Electronic Health Records in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Privacy by Design in Distributed Systems, 2018

2017

State machine replication in containers managed by Kubernetes.

[BibT_eX]

[DOI]

Hylson Vescovi Netto

Luciana Moreira Sá de Souza

J. Syst. Archit., 2017

On the Design of Resilient Multicloud MapReduce.

[BibT_eX]

[DOI]

Fernando M. V. Ramos

IEEE Cloud Comput., 2017

TruApp: A TrustZone-based authenticity detection service for mobile apps.

[BibT_eX]

[DOI]

Pedro Mendonça

Proceedings of the 13th IEEE International Conference on Wireless and Mobile Computing, 2017

DroidPosture: A trusted posture assessment service for mobile devices.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Wireless and Mobile Computing, 2017

T2Droid: A TrustZone-Based Dynamic Analyser for Android Applications.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, 2017

Xor-Overlay Topology Management beyond Kademlia.

[BibT_eX]

[DOI]

Erick Lavoie

Laurie J. Hendren

Proceedings of the 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2017

Vulnerability-Tolerant Transport Layer Security.

[BibT_eX]

[DOI]

André Joaquim

Proceedings of the 21st International Conference on Principles of Distributed Systems, 2017

PRIVO: A privacy-preserving opportunistic routing protocol for delay tolerant networks.

[BibT_eX]

[DOI]

Proceedings of the 2017 IFIP Networking Conference, 2017

Hail to the Thief: Protecting data from mobile ransomware with ransomsafedroid.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on Network Computing and Applications, 2017

REPSYS: A Robust and Distributed Reputation System for Delay-Tolerant Networks.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM International Conference on Modelling, 2017

Rectify: black-box intrusion recovery in PaaS clouds.

[BibT_eX]

[DOI]

David R. Matos

Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference, Las Vegas, NV, USA, December 11, 2017

A Systematic Approach for the Application of Restricted Boltzmann Machines in Network Intrusion Detection.

[BibT_eX]

[DOI]

Arnaldo Gouveia

Proceedings of the Advances in Computational Intelligence, 2017

On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study.

[BibT_eX]

[DOI]

Paulo Jorge Costa Nunes

Proceedings of the 13th European Dependable Computing Conference, 2017

Demonstrating a Tool for Injection Attack Prevention in MySQL.

[BibT_eX]

[DOI]

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce.

[BibT_eX]

[DOI]

Fernando M. V. Ramos

Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017

2016

Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2016

JITeR: Just-in-time application-layer routing.

[BibT_eX]

[DOI]

Comput. Networks, 2016

Fingerprinting for Web Applications: From Devices to Related Groups.

[BibT_eX]

[DOI]

Christine Blakemore

João Redol

Proceedings of the 2016 IEEE Trustcom/BigDataSE/ISPA, 2016

Leveraging an homomorphic encryption library to implement a coordination service.

[BibT_eX]

[DOI]

Eugenio A. Silva

Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

MACHETE: Multi-path communication for security.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

NoSQL Undo: Recovering NoSQL databases by undoing operations.

[BibT_eX]

[DOI]

David R. Matos

Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

vtTLS: A vulnerability-tolerant communication protocol.

[BibT_eX]

[DOI]

André Joaquim

Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

Feature set tuning in statistical learning network intrusion detection.

[BibT_eX]

[DOI]

Arnaldo Gouveia

Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

DARSHANA: Detecting route hijacking for communication confidentiality.

[BibT_eX]

[DOI]

Karan Balu

Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

Light-SPD: a platform to prototype secure mobile applications.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM Workshop on Privacy-Aware Mobile Computing, 2016

DEKANT: a static analysis tool that learns to detect web application vulnerabilities.

[BibT_eX]

[DOI]

Ibéria Medeiros

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Equipping WAP with WEAPONS to Detect Vulnerabilities: Practical Experience Report.

[BibT_eX]

[DOI]

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

Hacking the DBMS to Prevent Injection Attacks.

[BibT_eX]

[DOI]

Proceedings of the Sixth ACM on Conference on Data and Application Security and Privacy, 2016

Medusa: An Efficient Cloud Fault-Tolerant MapReduce.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM 16th International Symposium on Cluster, 2016

Priority-Based State Machine Replication with PRaxos.

[BibT_eX]

[DOI]

Paulo R. Pinho Filho

Luciana de Oliveira Rech

Lásaro Jonas Camargos

Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016

2015

Anticipating Requests to Improve Performance and Reduce Costs in Cloud Storage.

[BibT_eX]

[DOI]

Hylson Vescovi Netto

Tulio Alberton Ribeiro

SIGMETRICS Perform. Evaluation Rev., 2015

A multi-objective routing algorithm for Wireless Multimedia Sensor Networks.

[BibT_eX]

[DOI]

Nuno Horta

Rui Ferreira Neves

Appl. Soft Comput., 2015

Betweenness centrality in Delay Tolerant Networks: A survey.

[BibT_eX]

[DOI]

Alexandre P. Francisco

Ad Hoc Networks, 2015

Big Data Analytics for Detecting Host Misbehavior in Large Logs.

[BibT_eX]

[DOI]

Daniel Gonçalves

Joao Bota

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

Shuttle: Intrusion Recovery for PaaS.

[BibT_eX]

[DOI]

Dario Nascimento

Proceedings of the 35th IEEE International Conference on Distributed Computing Systems, 2015

Greft: Arbitrary Fault-Tolerant Distributed Graph Processing.

[BibT_eX]

[DOI]

Daniel Presser

Proceedings of the 2015 IEEE International Congress on Big Data, New York City, NY, USA, June 27, 2015

2014

Cloud Computing Dependability: Report and Extended Papers of the Second International Workshop on Dependability Issues in Cloud Computing.

[BibT_eX]

[DOI]

Neeraj Mittal

ACM SIGOPS Oper. Syst. Rev., 2014

MITRA: byzantine fault-tolerant middleware for transaction processing on replicated databases.

[BibT_eX]

[DOI]

SIGMOD Rec., 2014

Automatic detection and correction of web application vulnerabilities using data mining to predict false positives.

[BibT_eX]

[DOI]

Proceedings of the 23rd International World Wide Web Conference, 2014

SCFS: A Shared Cloud-backed File System.

[BibT_eX]

[DOI]

Proceedings of the 2014 USENIX Annual Technical Conference, 2014

Non-blocking Atomic Commitment with Byzantine Faults.

[BibT_eX]

[DOI]

Valdir Stumm Junior

Proceedings of the 2014 Brazilian Symposium on Computer Networks and Distributed Systems, 2014

2013

DepSky: Dependable and Secure Storage in a Cloud-of-Clouds.

[BibT_eX]

[DOI]

ACM Trans. Storage, 2013

Byzantine Fault-Tolerant Consensus in Wireless Ad Hoc Networks.

[BibT_eX]

[DOI]

Henrique Moniz

IEEE Trans. Mob. Comput., 2013

On the Performance of Byzantine Fault-Tolerant MapReduce.

[BibT_eX]

[DOI]

Marcelo Pasin

Miguel P. Correia

IEEE Trans. Dependable Secur. Comput., 2013

Efficient Byzantine Fault-Tolerance.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2013

Dependability issues in cloud computing: extended papers from the 1st international workshop on dependability issues in cloud computing - DISCCO.

[BibT_eX]

[DOI]

Neeraj Mittal

ACM SIGOPS Oper. Syst. Rev., 2013

BFT-TO: Intrusion Tolerance with Less Replicas.

[BibT_eX]

[DOI]

Comput. J., 2013

On the Efficiency of Durable State Machine Replication.

[BibT_eX]

[DOI]

Proceedings of the 2013 USENIX Annual Technical Conference, 2013

Byzantine fault-tolerant state machine replication with twin virtual machines.

[BibT_eX]

[DOI]

Fernando Dettoni

Proceedings of the 2013 IEEE Symposium on Computers and Communications, 2013

Securing energy metering software with automatic source code correction.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

Selfish and malicious behavior in Delay-Tolerant Networks.

[BibT_eX]

[DOI]

Miguel P. Correia

Proceedings of the 2013 Future Network & Mobile Summit, Lisboa, Portugal, July 3-5, 2013, 2013

Clouds-of-Clouds for Dependability and Security: Geo-replication Meets the Cloud.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2013: Parallel Processing Workshops, 2013

2012

Vers une plate-forme MapReduce tolérant les fautes byzantines.

[BibT_eX]

[DOI]

Luciana Arantes

Tech. Sci. Informatiques, 2012

Practical Hardening of Crash-Tolerant Systems.

[BibT_eX]

[DOI]

Daniel Gómez Ferro

Flavio Paiva Junqueira

Marco Serafini

Proceedings of the 2012 USENIX Annual Technical Conference, 2012

On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds.

[BibT_eX]

[DOI]

Marcelo Pasin

Fernando M. V. Ramos

Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

2011

RITAS: Services for Randomized Intrusion Tolerance.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2011

Byzantine consensus in asynchronous message-passing systems: a survey.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2011

Randomization can be a healer: consensus with dynamic omission failures.

[BibT_eX]

[DOI]

Distributed Comput., 2011

The Final Frontier: Confidentiality and Privacy in the Cloud.

[BibT_eX]

[DOI]

Francisco Rocha

Salvador Abreu

Computer, 2011

N-party BAR Transfer.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

Byzantine Fault-Tolerant Transaction Processing for Replicated Databases.

[BibT_eX]

[DOI]

Proceedings of The Tenth IEEE International Symposium on Networking Computing and Applications, 2011

Lucy in the sky without diamonds: Stealing confidential data in the cloud.

[BibT_eX]

[DOI]

Francisco Rocha

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

Anomaly-based intrusion detection in software as a service.

[BibT_eX]

[DOI]

Gustavo Nascimento

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), 2011

Byzantine Fault-Tolerant MapReduce: Faults are Not Just Crashes.

[BibT_eX]

[DOI]

Marcelo Pasin

Proceedings of the IEEE 3rd International Conference on Cloud Computing Technology and Science, 2011

2010

Vulnerability Discovery with Attack Injection.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2010

Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2010

Asynchronous Byzantine consensus with 2f+1 processes.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Active Quorum Systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth Workshop on Hot Topics in System Dependability, 2010

EBAWA: Efficient Byzantine Agreement for Wide-Area Networks.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

Turquois: Byzantine consensus in wireless ad hoc networks.

[BibT_eX]

[DOI]

Henrique Moniz

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

4th workshop on recent advances in intrusion-tolerant systems WRAITS 2010.

[BibT_eX]

[DOI]

Partha P. Pal

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

Intrusion Tolerant Services Through Virtualization: A Shared Memory Approach.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications, 2010

2009

Sharing Memory between Byzantine Processes Using Policy-Enforced Tuple Spaces.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2009

An Efficient Byzantine-Resilient Tuple Space.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2009

Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS 2009), 2009

Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned.

[BibT_eX]

[DOI]

Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

Intrusion-tolerant self-healing devices for critical infrastructure protection.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

3rd Workshop on Recent Advances on Intrusion-Tolerant Systems WRAITS 2009.

[BibT_eX]

[DOI]

Saurabh Bagchi

Partha P. Pal

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008

On Byzantine generals with alternative plans.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2008

The CRUTIAL reference critical information infrastructure architecture: a blueprint.

[BibT_eX]

[DOI]

Int. J. Syst. Syst. Eng., 2008

The Crutial Way of Critical Infrastructure Protection.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2008

Finite Memory: A Vulnerability of Intrusion-Tolerant Systems.

[BibT_eX]

[DOI]

Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, 2008

DepSpace: a byzantine fault-tolerant coordination service.

[BibT_eX]

[DOI]

Eduardo Adílio Pelinson Alchieri

Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008

2007

Automated Rule-Based Diagnosis through a Distributed Monitor System.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2007

Worm-IT - A wormhole-based intrusion-tolerant group communication system.

[BibT_eX]

[DOI]

J. Syst. Softw., 2007

Specification-based Intrusion Detection System for Carrier Ethernet.

[BibT_eX]

Pan Jieke

João Redol

Proceedings of the WEBIST 2007, 2007

When 3<i>f</i>+1 Is Not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 21st International Symposium, 2007

Evaluating Byzantine Quorum Systems.

[BibT_eX]

[DOI]

Wagner Saback Dantas

Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007

On the Effects of Finite Memory on Intrusion-Tolerant Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007

Resilient Intrusion Tolerance through Proactive and Reactive Recovery.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007

Intrusion Tolerance in Wireless Environments: An Experimental Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2007), 2007

GRIDTS: A New Approach for Fault-Tolerant Scheduling in Grid Computing.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007

Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007

Exploiting Tuple Spaces to Provide Fault-Tolerant Scheduling on Computational Grids.

[BibT_eX]

[DOI]

Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

The CRUTIAL Architecture for Critical Information Infrastructures.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007

2006

From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures.

[BibT_eX]

[DOI]

Comput. J., 2006

Brief Announcement: Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 20th International Symposium, 2006

Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

An Infrastructure for Adaptive Fault Tolerance on FT-CORBA.

[BibT_eX]

[DOI]

Fábio Favarim

Giuliana Teixeira Santos

Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

Using Attack Injection to Discover New Vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

Randomized Intrusion-Tolerant Asynchronous Services.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture.

[BibT_eX]

[DOI]

Proceedings of the Critical Information Infrastructures Security, 2006

2005

Solving Vector Consensus with a Wormhole.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2005

Low complexity Byzantine-resilient consensus.

[BibT_eX]

[DOI]

Distributed Comput., 2005

2004

How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

2002

Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model.

[BibT_eX]

[DOI]

Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Intrusion-Tolerant Architectures: Concepts and Design.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002

The Design of a COTSReal-Time Distributed Security Kernel.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing, 2002

2001

The Architecture of a Secure Group Communication System Based on Intrusion Tolerance.

[BibT_eX]

[DOI]