2019 15th European Dependable Computing Conference (EDCC)最新文献

Approximation of the Time Alignment Error for Measurements in Electricity Grids 电网测量时间对准误差的逼近

2019 15th European Dependable Computing Conference (EDCC) Pub Date : 2019-11-07 DOI: 10.1109/EDCC.2019.00038

Imad Antonios, H. Schwefel, L. Lipsky

引用次数: 3

Resilient Access to Heterogeneous Measurement Data for Grid Observability 网格可观测性异构测量数据的弹性访问

2019 15th European Dependable Computing Conference (EDCC) Pub Date : 2019-11-07 DOI: 10.1109/EDCC.2019.00043

Nicola Nostro, Kamal Shahid, A. Bondavalli, H. Schwefel

引用次数: 2

On the Impact of Measurement Errors on Loss Calculations in Distribution Grids 测量误差对配电网损耗计算的影响

2019 15th European Dependable Computing Conference (EDCC) Pub Date : 2019-11-07 DOI: 10.1109/EDCC.2019.00039

H. Schwefel, J. Rasmussen, R. Olsen, N. Silva

引用次数: 3

Toubkal: A Flexible and Efficient Hardware Isolation Module for Secure Lightweight Devices Toubkal:用于安全轻量级设备的灵活高效的硬件隔离模块

2019 15th European Dependable Computing Conference (EDCC) Pub Date : 2019-09-16 DOI: 10.1109/EDCC.2019.00018

Abderrahmane Sensaoui, D. Hély, O. Aktouf

{"title":"Toubkal: A Flexible and Efficient Hardware Isolation Module for Secure Lightweight Devices","authors":"Abderrahmane Sensaoui, D. Hély, O. Aktouf","doi":"10.1109/EDCC.2019.00018","DOIUrl":"https://doi.org/10.1109/EDCC.2019.00018","url":null,"abstract":"Toubkal is a new hardware architecture which provides secure, efficient and flexible hardware isolation. It is a modular system that offers strong separation of different hardware modules within a system. Lightweight devices use mainly a Memory Protection Unit (MPU) to protect the memory and create an isolation architecture. However, the MPU offers only a memory control access for the software running on the system. This scheme does not prevent other hardware components from accessing system memories. Toubkal aims at enhancing MPU architectures by adding a new hardware layer to create different access environments for different hardware components. Toubkal has been designed in such a way that it can easily be adapted to the system needs in terms of security, safety and performances. It does not require any change in the existing hardware modules. We present a detailed description of the architecture, then we compare and discuss run-time, area overhead as well as security limitations using different policies and options. The first experimental hardware module increases between 0.08% and 8.5% a single core Rocket Chip cells area.","PeriodicalId":334498,"journal":{"name":"2019 15th European Dependable Computing Conference (EDCC)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115873434","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 6

Secure Cross-Border Exchange of Health Related Data: The KONFIDO Approach 健康相关数据的安全跨境交换:KONFIDO方法

2019 15th European Dependable Computing Conference (EDCC) Pub Date : 2019-09-01 DOI: 10.1109/EDCC.2019.00024

Sotirios Diamantopoulos, M. Nalin, I. Baroni, F. Clemente, G. Faiella, C. Mesaritakis, E. Grivas, Janne Rasmussen, Jan Petersen, Isaac Cano, E. Puigdomènech, D. Karamitros, E. Gelenbe, J. Dumortier, Maja Voss-Knude Voronkov, L. Romano, L. Coppolino, V. Koutkias, K. Votis, Oana Stan, P. Campegiani, David Mari Martinez

{"title":"Secure Cross-Border Exchange of Health Related Data: The KONFIDO Approach","authors":"Sotirios Diamantopoulos, M. Nalin, I. Baroni, F. Clemente, G. Faiella, C. Mesaritakis, E. Grivas, Janne Rasmussen, Jan Petersen, Isaac Cano, E. Puigdomènech, D. Karamitros, E. Gelenbe, J. Dumortier, Maja Voss-Knude Voronkov, L. Romano, L. Coppolino, V. Koutkias, K. Votis, Oana Stan, P. Campegiani, David Mari Martinez","doi":"10.1109/EDCC.2019.00024","DOIUrl":"https://doi.org/10.1109/EDCC.2019.00024","url":null,"abstract":"This extended abstract sets up the scene of the KONFIDO project in a clear way. In particular, it: i) defines KONFIDO objectives and draws KONFIDO boundaries; ii) identifies KONFIDO users and beneficiaries; iii) describes the environment where KONFIDO is embedded; iv) provides a bird's eye view of the KONFIDO technologies and how they will be deployed in the pilot studies of the project; and v) presents the approach that the KONFIDO consortium will take to prove that the proposed solutions work. KONFIDO addresses one of the top three priorities of the European Commission regarding the digital transformation of health and care in the Digital Single Market, i.e. citizens' secure access to their health data, also across borders. To make sure that KONFIDO has a high-impact, its results are exposed to the wide public by developing three substantial pilots in three distinct European countries (namely Denmark, Italy, and Spain).","PeriodicalId":334498,"journal":{"name":"2019 15th European Dependable Computing Conference (EDCC)","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114962101","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

Studying the Applicability of Intrusion Detection to Multi-Tenant Container Environments 研究入侵检测在多租户容器环境中的适用性

2019 15th European Dependable Computing Conference (EDCC) Pub Date : 2019-09-01 DOI: 10.1109/EDCC.2019.00033

José Flora, Nuno Antunes

引用次数: 7

Robustness-Aware Design Space Exploration Through Iterative Refinement of D-Optimal Designs 基于d -最优设计迭代优化的鲁棒性感知设计空间探索

2019 15th European Dependable Computing Conference (EDCC) Pub Date : 2019-09-01 DOI: 10.1109/EDCC.2019.00017

I. Tuzov, D. Andrés, J. Ruiz

{"title":"Robustness-Aware Design Space Exploration Through Iterative Refinement of D-Optimal Designs","authors":"I. Tuzov, D. Andrés, J. Ruiz","doi":"10.1109/EDCC.2019.00017","DOIUrl":"https://doi.org/10.1109/EDCC.2019.00017","url":null,"abstract":"Design space exploration (DSE) is nowadays of utmost importance to implement HW designs with acceptable levels of performance, power consumption, area and dependability (PPAD). Electronic Design Automation (EDA) tools support the transformation of HW description models into technology-dependent implementations. Although designers can influence this process by tuning the parameters offered by EDA toolkits, determining their proper configuration is a complex and very time-consuming DSE problem rarely addressed from a PPAD perspective. On one hand, the spatial and temporal complexity of considered targets and the level of abstraction of their descriptions pose problems for the rapid execution of fault injection campaigns. On the other hand, the multi-level nature of parameters offered by EDA toolkits lead to an explosion of possible configurations to exercise during experimentation. This paper shows how to combine the D-optimal design of experiments with FPGA-based and statistical fault injection to significantly reduce not only the number of such configurations but also the number of faults to inject and the time required to perform each injection. All of this without compromising the statistical significance of results. The proposal is exemplified through the Xilinx Vivado Design Suite, which integrates one of the FPGA-based EDA toolkits most widely-used today in the industry, and the MC8051 IP core, a synthesizable microcontroller from Oregano Systems.","PeriodicalId":334498,"journal":{"name":"2019 15th European Dependable Computing Conference (EDCC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132046754","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Protecting Secrets of Persistent Systems with Volatility 具有波动性的持久系统的秘密保护

2019 15th European Dependable Computing Conference (EDCC) Pub Date : 2019-09-01 DOI: 10.1109/EDCC.2019.00027

V. Sartakov, R. Kapitza

{"title":"Protecting Secrets of Persistent Systems with Volatility","authors":"V. Sartakov, R. Kapitza","doi":"10.1109/EDCC.2019.00027","DOIUrl":"https://doi.org/10.1109/EDCC.2019.00027","url":null,"abstract":"The volatility of main memory and CPU caches is an important implicit protection mechanism for sensitive data: in-memory data gets erased if memory modules are disconnected from power supply. Persistent systems, on the other hand, cannot rely on volatility and without further measures their secrets can be easily retrieved by physical access. In this paper, we present Volatility, a system which protects secrets stored in persistent memory. This system provides mechanisms which turn persistent sub-systems into volatile ones by the use of AMD Secure Memory Encryption (SME), a new extension of AMD CPUs which provides encryption of main memory at the page granularity. Volatility protects secrets at two levels: it offers fine-grained memory encryption inside the kernel, where only information considered as sensitive is secured, and per-process memory encryption, which encrypts selected user space programs. Besides storing subsystems in an encrypted form, all relevant input and output paths, e.g. managed by the kernel, are protected as well. Our evaluation of Volatility demonstrates that the proposed protection mechanism does not impact the system performance, while protecting against strong adversaries.","PeriodicalId":334498,"journal":{"name":"2019 15th European Dependable Computing Conference (EDCC)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124356836","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Reliable Many-to-Many Routing in Wireless Sensor Networks Using Ant Colony Optimisation 基于蚁群优化的无线传感器网络可靠多对多路由

2019 15th European Dependable Computing Conference (EDCC) Pub Date : 2019-09-01 DOI: 10.1109/EDCC.2019.00030

J. Grosso, A. Jhumka, M. Bradbury

引用次数: 1

Toward a Model-Based Approach for Analyzing Information Quality Requirements for Smart Grid 基于模型的智能电网信息质量需求分析方法研究

2019 15th European Dependable Computing Conference (EDCC) Pub Date : 2019-09-01 DOI: 10.1109/EDCC.2019.00044

M. Gharib, P. Lollini, A. Bondavalli

引用次数: 0