Search results

|document=Document for Publication-Dixit11a.pdf ...e been proposed. In this paper we describe Adaptare - a complete framework for dependable QoS adaptation. We assume that during its lifetime, a system alt

|document=Document for Publication-Brandao2012reliabilityJBCS.pdf ...echniques alone, but possible when they are combined. We advocate the need for thorougher system models, by showing vulnerabilities arising from incomplet

|document=Document for Publication-Craveiro12sapient.pdf |title=Scheduling Analysis Principles and Tool for Time- and Space-Partitioned Systems

...f modifications to be introduced in the RTEMS application production chain for the implementation of AIR-based systems (exemplified through a proof of con

...ization of RTEMS, the Real-Time Executive for Multiprocessor Systems. This document addresses: (i) the AIR architecture specification; (ii) the AIR support to

|document=Document for Publication-Craveiro12hssim.pdf |booktitle=3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2012)

|document=PEI-Cogo12MSc.pdf ... group properties supported by cloud providers or tools, and opportunities for cloud computing players contribute with diversity management area.

|document=Document for Publication-joaosousa2011.pdf |abstract=We present a new algorithm for state machine replication that is built around a leader-driven consensus pr

|document=Document for Publication-joaosousa2010.pdf ...n, and also show expected values of latency in the state transfer protocol for states different sizes. Finally, as far as we know, this work is the first

|document=CostaPBC11.pdf ...on Byzantine fault-tolerance paradigms. We believe this cost is acceptable for critical applications that require that level of fault tolerance.

|document=Document for Publication-Correia2012-CoC.pdf |abstract=MapReduce is a framework for processing large data sets largely used in cloud computing. MapReduce imple

|document=Document for Publication-PedroCosta 2013.pdf |abstract=MapReduce is often used for critical data processing, e.g., in the context of scientific or financial s

|document=Document for Publication-Padhy2011MiddlewarePoster.pdf |title=Trustworthy and resilient monitoring system for cloud infrastructures

|document=Document for Publication-Dixit2012SAC.pdf |abstract=Algorithms for solving distributed systems problems often use timeouts as a means to achie

|document=Document for Publication-Kreutz2012DAIS.pdf |title=A Trustworthy and Resilient Event Broker for Monitoring Cloud Infrastructures

|document=Document for Publication-Nezhad2012DSN-FA.pdf |title=A Multi-Layered Architecture for a Secure Virtualization Environment

|document=Document for Publication-garcia msc11.pdf ... vulnerabilities occur in more than one OS. We found this number to be low for several combinations of OS.

|document=Document for Publication-Casimiro2012DCDV.pdf |abstract=Cloud infrastructures play an increasingly important role for telecom operators, because they enable internal consolidation of resources

|document=Document for Publication-garcia12 diversity.pdf

|document=Document for Publication-Marques2012ASCOMS.pdf

|document=Document for Publication-Casimiro2012SSS.pdf |title=Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems

|document=Document for Publication-Araujo2012MGC.pdf |title=Replication for dependability on virtualized cloud environments

|document=Document for Publication-verissimo12tclouds.pdf the same basic components, for example, intrusion-tolerant

|document=Document for Publication-Rosa11INDIN.pdf ...stem applications at execution time. In this paper we present an algorithm for update application schedules, showing results from the proof-of-concept pro

|document=Document for Publication-Veronese13FTolerance.pdf ...utions the two algorithms run in the minimum number of communication steps for

|document=Document for Publication-Couto13Benchmarking.pdf |abstract=The increasing use of productivity and impact metrics for evaluation

|document=Document for Publication-Cogo13fitch.pdf ...ice replicas closer to their clients, obtain diversity in the replication (for resilience), recover compromised replicas, or rejuvenate ageing replicas. W

|document=Document for Publication-BFT-TO.pdf ... by replicating them in sets of servers. There have been several proposals for using SMR to tolerate arbitrary or Byzantine faults, including intrusions.

|document=Document for Publication-Kreutz13SDN.pdf ...ovides new ways to solve long-standing problems in networking --- routing, for instance --- while simultaneously allowing the use of security and dependab

|document=Document for Publication-Craveiro13laxity.pdf

|document=Document for Publication-Malichevskyy15MSc.pdf ...the last years has created the demand for authentication and authorization for these networks. The basic model usually requires a user, to access the netw

|document=Document for Publication-Craveiro13umpr.pdf ...ource model; (iii) component abstraction guidelines to select the platform for the UMPR interface. We also briefly describe how we are dealing with the r

|document=Usenix13-dsmr.pdf |abstract=State Machine Replication (SMR) is a fundamental tech- nique for ensuring the dependability of critical services in modern internet-scale in

|document=Document for Publication-NobregaDaCosta13safety.pdf |title=Safety Kernel for Cooperative Sensor-Based Systems

|document=Document for Publication-JSouza2013-LCN.pdf ...d on the analytical model, which is being integrated in the NS-2 simulator for validation. Reducing network inaccessibility is a crucial step to enable th

|document=Document for Publication-Botelho2014ewsdn.pdf ..., and materialize it by proposing and formalizing a practical architecture for small to medium-sized networks. A central component of our design is a repl

|document=Document for Publication-JSouza2013-ECRTS.pdf ...less network standards, providing a set of fundamental abstractions useful for both system design and application programming.

|document=SRDS-2013-Marques.pdf ... coordination, etc.) this problem cannot be ignored. Accordingly, we argue for, and show the efficacy of, using probabilistic models to characterize dynam

|document=Casimiro2013karyon.pdf ...KARYON contributions include improved simulation and fault-injection tools for evaluating safety assurance according to the ISO 26262 safety standard. The

|document=Alves2013.pdf |title=Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks

|document=Jesus2013.pdf ...o external disturbances affecting data accuracy. In this paper we motivate for the need of dependable data collection in harsh coastal and marine environm

|document=Document for Publication-AGuerreio2013-INFORUM.pdf |title=Improving NS-2 Network Simulator for IEEE 802.15.4 Standard Operation

|document=Document for Publication-AGUEREIRO-2014-SENSORNETS.pdf

|document=Document for Publication-Almeida2013Inforum.pdf This paper addresses the definition and design of fault-detection mechanisms for TSP hypervisors, covering both time and space domains. In spite of our focu

|document=Document for Publication-SP13-eBiobanking.pdf

|document=Document for Publication-Craveiro13PhD.pdf ...a compromise with size, weight and power consumption (SWaP), and open room for supporting self-adaptive behavior. To allow applying our results to a more

|document=Document for Publication-JsouzaRTN14.pdf |title=Low Level Error Detection For Real-Time Wireless Communications

|document=Document for Publication-RCPinto2014rv.pdf ... handling deviations from specification. Although this approach is fitting for some domains, it can have a nefarious influence in embedded real-time syste

|document=Publication-Cogo14biobankPoster.pdf |title=BiobankCloud - Platform as a Service for Biobanking

|document=Document for Publication-Sousa2013wan-evaluation.pdf

|document=Publication-Bessani14scfs.pdf ...nities inherent in the current cloud services through a set of novel ideas for cloud-backed file systems: always write and avoid reading, modular coordina

|document=Kreutz2014DSN FA.pdf |title=Anchors of Trust for Autonomic and Secure Configuration and Assessment in SDN

|document=Document for Publication-Sousa2014bft-smart.pdf |title=State Machine Replication for the Masses with BFT-SMART

|document=Document for Publication-Sousa2011bft-smart.pdf

|document=Document for Publication-Sousa2012poster bftsmart.pdf |title=... And StateMachine Replication for All with BFT-SMaRt

|document=Document for Publication-Sousa2014sbrc.pdf ...The last fifteen years have seen an impressive amount of work on protocols for Byzantine fault-tolerant (BFT) state machine replication (SMR). However, th

|document=Document for Publication-bessani2012tutorial.pdf

|document=Document for Publication-bessani2014tutorial.pdf ...some prominent applications for SMR and an example of the real code needed for implementing a dependable service using the BFT-SMART replication library.

|document=Document for Publication-garcia13diversity.pdf |title=Analysis of OS Diversity for Intrusion Tolerance

|document=Document for Publication-garcia13siem.pdf |title=An intrusion-tolerant firewall design for protecting SIEM systems

|document=Document for Publication-RaptorQ-SP2014.pdf so far. Its properties make it attractive for forward error

|document=Document for Publication-WAP-WWW2014.pdf ...sis) versus automatically obtaining that knowledge (with machine learning, for data mining). Given this more precise form of detection, we do automatic co

|document=Document for Publication-SmartMeter-INDIN2013.pdf

|document=Document for Publication-SITAN-DSN2014.pdf |title=SITAN: Services for Ad Hoc Networks with Unknown Participants

|document=Document for Publication-WAP-DSN2014.pdf for Internet applications. This involved changing from

|document=Document for Publication-ISD-INFORUM2014.pdf

|document=Document for Publication-Johansson2014erts2.pdf ...posed solutions are also fully in-line what is prescribed by the standards for functional safety of the two domains.

|document=Document for Publication-Casimiro2014sies-invited.pdf ...en and uncertain environments is a challenging task. Traditional solutions for achieving safety either impose restrictions on performance or require costl

|document=Document for Publication-Martins2013Middleware.pdf ...veloped Hermes, a fault-injector framework that provides an infrastructure for injecting faults in a Byzantine fault-tolerant state machine. Our main goal

|document=Document for Publication-Casimiro2014ADSN.pdf ...ervice levels and we use the system architectural concept of safety kernel for managing the service level in order to achieve the best possible performanc

|document=Document for Publication-Araujo2014JISA.pdf ... be as unbalanced as possible. We systematically identify the best defense for each kind of failure and majority to preserve. We then review the most comm

|document=Document for Publication-Jesus2014HIC.pdf ...quatic sensors are vulnerable to external disturbances. Existing solutions for aquatic monitoring composed by heterogeneous sensors are unable to ensure c

|document=Document for Publication-Vial2014ASCoMS.pdf ...onditions concerning data quality and timeliness that need to be satisfied for the system to operate safely in each operation mode.

|document=Document for Publication-ETeixeiraMs07.pdf

|document=Document for Publication-LIP6928.pdf

|document=Oliveira2014DIHC.pdf ...valent data sharing features in different clouds, an important requirement for implementing secure multi-cloud systems.

|document=Document for Publication-Jesus2015tese.pdf |title=Privacy Preserving Protocols for Smart Meters and Electric Vehicles

|document=Document for Publication-IEEETR15.pdf on for more than a decade, the security of web applications

|document=papoc15-composite.pdf composition of a number of cloud services for improving

|document=EuroSys15-edc.pdf ...stributed queue by more than an order of magnitude (17x for ZooKeeper, 24x for DepSpace) while keeping the underlying coordination kernel small.

|document=Document for Publication-Souza2014SIGBED.pdf |title=The Wi-STARK Architecture For Resilient Real-Time Wireless Communications

|document=Document for Publication-Pinto2014EWiLi14-Poster.pdf

|document=Document for Publication-Souza2014WiEEE.pdf for the WnS and how those can be used to support low level

|document=Document for Publication-Guerreiro2014MScThesis.pdf ... IEEE 802.15.4 simulation model. These improvements comprises: the support for real-time transmissions, through the incorporation of the contention free p

|document=Document for Publication-Carraca2014INForum.pdf |title=Information Security in Time- and Space-Partitioned Architectures for Aerospace Systems

|document=Pinto2014INForum.pdf ...ion (RV). Traditional RV techniques require the intrumentation of the code for monitoring, which brings an overhead to the

|document=Document for Publication-A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection.pdf |title=A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection

|document=Document for Publication-Sousa2015wheat.pdf |title=Separating the WHEAT from the Chaff: An Empirical Design for Geo-Replicated State Machines

|document=Document for Publication-Bessani2015biobankcloud-platform.pdf |title=BiobankCloud: a Platform for the Secure Storage, Sharing, and Processing of Large Biomedical Data Sets

|document=Document for Publication-Onica2015MSI.pdf power grid. This brings several advantages, allowing for a faster and more efficient

|document=Document for Publication-Alves2015MEng.pdf is used for both power supply and network connection. PLC can be employed in

|document=Document for Publication-Onica15PTP.pdf |title=Fault-Tolerant Precision Time Protocol for Smart Grids

|document=Document for Publication-Vavala15SRDS.pdf

|document=Document for Publication-Medeiros2015tese.pdf |title=Secure Monitoring for a Secure Smart Grid

|document=Document for Publication-Caldeira2015Extreme.pdf |title=Methods and Tools for Assessment of Wireless Networks in Extreme Environments

|document=Document for Publication-Semedo2014LoadBalancingSDN.pdf ...pose a Multi-Algorithm Load Balancer (MALOB), a load balancing application for SDNs that has the capability to adapt to the different types of requests, s

|document=Document for Publication-Alaluna2015NetVirt.pdf

|document=Document for Publication-cogo2016integration.pdf

|document=Document for Publication-Mest FabioPereira Set17.pdf ...ch-based alternatives have been shown to achieve higher levels of accuracy for the same cost. Existing switches, however, lack the necessary

|document=Document for Publication-Cogo2016efficient.pdf ...s efficiently may accelerate medical breakthroughs, but augments the risks for donors' privacy. The million-scale size and criticality of sets of genomes

|document=Document for Publication-CODASPY 2016.pdf

|document=Document for Publication-DSNa 2016.pdf during software development, the tendency for source code to

|document=Document for Publication-DSNb 2016.pdf |abstract=Code identity is a fundamental concept for authenticated

|document=Document for Publication-ISSTA 2016.pdf ...ortant mechanisms for programmers to deal with this problem as they search for vulnerabilities automatically in the application source code, allowing prog

|document=Document for Publication-ComputerNetworks 2016.pdf ...for control traffic in wide-area IP networks. This is an important problem for cloud services and other geo-distributed information infrastructures that e

|document=Document for Publication-garcia2016lazarus poster.pdf |title=Towards an Execution Environment for Intrusion-Tolerant Systems

|document=Document for Publication-garcia2011dsn poster rejuvenations.pdf |title=Diverse OS Rejuvenation for Intrusion Tolerance

|document=Document for Publication-inforum15-Ruben-poster.pdf

|document=Document for Publication-sensors15-Gjesus.pdf ...ynamics, clusters of sensor nodes sharing data correlation can be defined, for priority sensor selection in a fusion algorithm. The strategy was validated

|document=Document for Publication-2016 Mantas ConsistentSDN NSDIposter.pdf

|document=Document for Publication-2016 Ferrolho SecDepVNE NSDIposter.pdf

|document=Document for Publication-2016 Ramos PhotonsIPTV IFIPNet.pdf

|document=Document for Publication-Amado2018.pdf

|document=Document for Publication-PhD Thesis IberiaMedeiros.pdf |title=Detection of Vulnerabilities and Automatic Protection for Web Applications

|document=Document for Publication-Msc Thesis FredericoBrito.pdf |title=Fast Reroute Usig Segment Routing for Smart Grids

|document=Document for Publication-correia2016tesemsc.pdf

|document=Document for Publication-lima2015apt.pdf

|document=Document for Publication-botelho2016.pdf |title=Design and Implementation of a Consistent Datastore for a Distributed SDN Control Plane

|document=Document for Publication-lacoste2016.pdf ...roviders, with customized security requirements as well as self-management for reducing administration complexity. The article presents the Supercloud arc

|document=Document for Publication-Oliveira2016mwds.pdf ...ure Storage), that can be modelled as key-value stores (KVSs) and combined for providing secure and dependable multi-cloud storage services. In this paper

|document=Document for Publication-Alcantara2016msc.pdf |title=Low-cost Cloud-based Disaster Recovery for Transactional Databases

|document=Document for Publication-2017 Costa.pdf |abstract=MapReduce is a framework for processing large data sets much used in the context of cloud computing. Map

|document=Document for Publication-Alaluna2017Sirius.pdf ... logical centralization of control has given operators the necessary tools for virtualization of network resources, at the required scale. The effectivene

|document=Document for Publication-Nogueira17esmr.pdf ...ine fault tolerant replicated state machines and making them more suitable for cloud systems.

|document=Document for Publication-JRosa-MSc-Thesis.pdf ...ly the European Space Agency (ESA). AIR provides a partitioned environment for the development and execution of aerospace applications, based on the idea

|document=Document for Publication-JCraveiro-MSc-Thesis.pdf ...me POS will not compromise the timeliness of critical real-time functions. For this purpose, Linux is used as a case study. An embedded variant of Linux i

|document=Document for Publication-RCPinto-MSc-Thesis.pdf |title=Mechanisms for Enhanced Dependability and Timeliness in CAN

|document=Document for Publication-EPascoal-MSc-Thesis.pdf |title=AMOBA - ARINC 653 Simulator for Modular Space Based Applications

|document=Document for Publication-JSousa-MSc-Thesis.pdf |title=Memory Protection and Qualification of Real-Time Operating Systems for Space Applications

|document=Document for Publication-JAnjos-MSc-Thesis.pdf |title=JAVA Development Platform for Real-Time Applications in Multi-core Architectures

|document=Document for Publication-JRufino-2016-SIGBED.pdf ...Real-Time Operating System) architecture defines a partitioned environment for the development and execution of aerospace applications, following the noti

|document=Document for Publication-JRufino-2016-OSPERT.pdf ...Real-Time Operating System) architecture defines a partitioned environment for aerospace applications, following the notion of time and space partitioning

|document=Document for Publication-Gouveia-2016-CERTS.pdf ...ations at risk and CPSs are no exception. Noteworthy recurring issues are, for example, Buffer Overflows (BOs). We intend to deal with some types of BOs,

|document=Document for Publication-Casimiro-2017-ADA-Europe.pdf ...another that behaves as predictably as needed, providing critical services for a safe and secure operation. In this paper we address the problem of verify

|document=Document for Publication-MCoutinho-MSc-Thesis.pdf

|document=Document for Publication-Gouveia-2016-INForum-Poster.pdf

|document=Document for Publication-Cogo17sharing genomes.pdf ... privacy-sensitivity level of each portion. This article is a call to arms for a collaborative work between geneticists and security experts to build more

|document=Document for Publication-Costa2017.pdf ... for analyzing big data in cloud environments. This platform is often used for critical data processing, e.g., in the context of scientific or financial s

|document=Document for Publication-Alves-2017-CANFD-INForum.pdf

|document=Document for Publication-VavalaSRDS2012.pdf

|document=Document for Publication-VavalaDSN2017.pdf

|document=Document for Publication-VavalaDepend2010.pdf alternative for critical applications.

|document=Document for Publication-VavalaIjais2011.pdf ...our contribution turns out to be a viable and energy-efficient alternative for critical applications.

|document=Document for Publication-2017 FabioPereira.pdf networks. By summarizing all traffic for specific statistics of

|document=Document for Publication-DSN 2017.pdf |title=Demonstrating a Tool for Injection Attack Prevention in MySQL

|document=Document for Publication-EDCC 2017.pdf |title=On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study

|document=Document for Publication-Gouveia-MSc-Thesis-2017.pdf ...s has resulted in a tendency to adopt Runtime Verification (RV) techniques for embedded systems, when their criticality dictates the need to guarantee cor

|document=Document for Publication-Alves-2017-CANFD-ESI-INForum17.pdf ...us, one fundamental question is whether or not the ESI flag will be useful for building highly reliable distributed real-time embedded systems based on th

|document=Document for Publication-Jesus2017survey.pdf |title=A Survey on Data Quality for Dependable Monitoring in Wireless Sensor Networks

|document=Document for Publication-2017 PCosta TesePhD.pdf |abstract=MapReduce is a simple and elegant programming model suitable for loosely

|document=Document for Publication-2018 dsn scada fix.pdf ...(SCADA) system enhanced with Byzantine fault-tolerant (BFT) techniques. We document the challenges of building such system from a "traditional" non-BFT solutio

|document=Document for Publication-Jaeger2018FailureModel.pdf |title=Generic Sensor Failure Modeling for Cooperative Systems

|document=Document for Publication-Rufino18A.pdf |title=Hardware Support for Non-intrusive Runtime Verification on Processor Technologies

|document=Document for Publication-Rufino18C.pdf ...lexible monitoring capabilities allowing to analyze the system's execution for ensuring safety requirements. To this end, a general SoC architecture is de

|document=Document for Publication-Rufino18B.pdf ...653 in Space Real-Time Operating System) defines a partitioned environment for the development and execution of aerospace applications, preserving applica

|document=Document for Publication-Rufino18D.pdf ...liness, due to their inherent intrusiveness, which make them clearly unfit for critical systems.

|document=Document for Publication-Rufino18E.pdf ...edule is a symptom of an erroneous state that may result on a serious risk for the system integrity. Spreading the design task model, as a timing referenc

|document=Document for Publication-alchieri2016reconf-smr.pdf

|document=Document for Publication-Sousa2017hlf-smart-short.pdf |title=A Byzantine Fault-Tolerant Ordering Service for the Hyperledger Fabric Blockchain Platform (short paper)

|document=Document for Publication-Sousa2017hlf-smart-dsn18.pdf |title=A Byzantine Fault-Tolerant Ordering Service for the Hyperledger Fabric Blockchain Platform

|document=Document for Publication-Soares2018.pdf For these reasons the logical centralisation offered by Software-Defined Networ

|document=Document for Publication-Marques2018.pdf |abstract=The Internet today is mainly used for distributing content, in a fundamental departure from its original goal of

|document=Document for Publication-Maia2018.pdf ...itor and a routing and traffic engineering module. The first is a solution for monitoring with the goal to obtain a global view of the current state of th

|document=Document for Publication-BrunoVavalaTese.pdf ...ivers availability guarantees to clients, while passive replication allows for computationally efficient processing. Interestingly, all of our techniques

|document=Document for Publication-ManuelMendoncaTese.pdf Our final contribution is a methodology and framework for the discovery of errors and vulnerabilities in Windows DD by resorting to t

|document=Document for Publication-I2MTC2018.pdf ... the main challenges, suggesting alternatives and potential research lines for future works.

|document=Document for Publication-MaxCompNetworks19.pdf ...tor and only offer traditional networking services. As such, their support for critical applications that need to be deployed across multiple trust domain

|document=Document for Publication-Cogo19enabling.pdf ...genomes, (2) a similarity-based deduplication and delta-encoding algorithm for sequencing data, and (3) an auditability scheme to verify who has effective

|document=Document for Publication-Alves-18.pdf |title=CAN FD: a communication network for future avionic systems

|document=Document for Publication-Nascimento2019.pdf ...solution may become a hard problem. In this paper we propose a methodology for addressing this optimization problem in an automated way. It considers vari

|document=Document for Publication-Nascimento2019MScThesis.pdf |title=Evaluation of WSN Technology for Dependable Monitoring in Water Environments

|document=Document for Publication-Casimiro2019SRDS-FA.pdf

|document=Document for Publication-Casimiro2019SAFECOMP-FA.pdf ...MON – A dependable Monitoring Platform based on Wireless Sensor Networks for Water Environments

|document=Document for Publication-Sa2019BICT.pdf ...e noise as a useful information, instead of having it as a negative factor for the performance of the identification process.

|document=Document for Publication-Jesus2018Safecomp.pdf ...n in environmental sensor networks do not portray the required sensitivity for the differentiation of these processes or they are unable to meet the time

|document=Document for Publication-Sa2020Sensors.pdf

|document=Document for Publication-Viegas2020semisupervised.pdf ... classifications over time. In this paper, we propose a new reliable model for semi-supervised intrusion detection that uses a verification technique to p

|document=Document for Publication-Viegas2020facing.pdf |title=Facing the Unknown: a Stream Learning Intrusion Detection System for Reliable Model Updates

|document=Document for Publication-Santos2020longlasting.pdf ...posed of 10TB of data, show that the technique we propose remains reliable for ten months without model updates. Additionally, our proposal increases its

|document=Document for Publication-Abreu2020iamiot.pdf |title=Identity and Access Management for IoT in Smart Grid

|document=Document for Publication-Cogo2020GenoDedup.pdf |title=GenoDedup: Similarity-Based Deduplication and Delta-Encoding for Genome Sequencing Data

|document=Document for Publication-Berger21bftreads.pdf ... which a malicious leader blocks correct clients and present two solutions for patching the protocol, making read-only operations fast and correct. The tw