2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS)最新文献

SIMPLE: A Remote Attestation Approach for Resource-constrained IoT devices SIMPLE:用于资源受限物联网设备的远程认证方法

2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2020-04-01 DOI: 10.1109/ICCPS48487.2020.00036

M. Ammar, B. Crispo, G. Tsudik

{"title":"SIMPLE: A Remote Attestation Approach for Resource-constrained IoT devices","authors":"M. Ammar, B. Crispo, G. Tsudik","doi":"10.1109/ICCPS48487.2020.00036","DOIUrl":"https://doi.org/10.1109/ICCPS48487.2020.00036","url":null,"abstract":"Remote Attestation (RA) is a security service that detects malware presence on remote IoT devices by verifying their software integrity by a trusted party (verifier). There are three main types of RA: software (SW)-, hardware (HW)-, and hybrid (SW/HW)-based. Hybrid techniques obtain secure RA with minimal hardware requirements imposed on the architectures of existing microcontrollers units (MCUs). In recent years, considerable attention has been devoted to hybrid techniques since prior software-based ones lack concrete security guarantees in a remote setting, while hardware-based approaches are too costly for low-end MCUs. However, one key problem is that many already deployed IoT devices neither satisfy minimal hardware requirements nor support hardware modifications, needed for hybrid RA.This paper bridges the gap between software-based and hybrid RA by proposing a novel RA scheme based on software virtualization. In particular, it proposes a new scheme, called SIMPLE, which meets the minimal hardware requirements needed for secure RA via reliable software. SIMPLE depends on a formally-verified software-based memory isolation technique, called Security MicroVisor (Sμ V). Its reliability is achieved by extending the formally-verified safety and correctness properties to cover the entire software architecture of SIMPLE. Furthermore, SIMPLE is used to construct SIMPLE+, an efficient swarm attestation scheme for static and dynamic heterogeneous IoT networks. We implement and evaluate SIMPLE and SIMPLE+ on Atmel AVR architecture, a common MCU platform.","PeriodicalId":158690,"journal":{"name":"2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129702041","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}

引用次数: 31

Control Reconfiguration of Cyber-physical Systems for Improved Performance via Reverse-engineering and Accelerated First-order Algorithms 通过逆向工程和加速一阶算法提高性能的信息物理系统控制重构

2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2020-04-01 DOI: 10.1109/ICCPS48487.2020.00034

H. Shu, Xuan Zhang, Na Li, A. Papachristodoulou

引用次数: 2

A Game-Theoretic Approach to Secure Estimation and Control for Cyber-Physical Systems with a Digital Twin 具有数字孪生的信息物理系统安全估计与控制的博弈论方法

2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2020-04-01 DOI: 10.1109/ICCPS48487.2020.00010

Zhiheng Xu, A. Easwaran

引用次数: 6

Formalizing traffic rules for uncontrolled intersections 制定不受控制的十字路口的交通规则

2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2020-04-01 DOI: 10.1109/ICCPS48487.2020.00012

Abolfazl Karimi, Parasara Sridhar Duggirala

{"title":"Formalizing traffic rules for uncontrolled intersections","authors":"Abolfazl Karimi, Parasara Sridhar Duggirala","doi":"10.1109/ICCPS48487.2020.00012","DOIUrl":"https://doi.org/10.1109/ICCPS48487.2020.00012","url":null,"abstract":"One of the challenges in designing autonomous vehicles (AV’s) is driving around humans (i.e. drivers, cyclists, pedestrians, etc.) In particular, the AV’s and the humans must have a common set of traffic rules to follow. In this paper, we present a new approach to formalize and implement traffic rules. We use California’s DMV driver handbook as a working example. Our approach provides a straightforward mapping from the rules in the handbook to its formal model, and from the model to its implementation. To demonstrate the efficiency of this approach, we formally model the traffic rules in the logic programming paradigm of Answer Set Programming (ASP) using a programming language called Clingo. We then integrate these rules into CARLA, a virtual test bed environment for autonomous vehicles. We simulate the behavior of autonomous vehicles at four way and three way uncontrolled intersections by correct reasoning of right-of-way rules for autonomous vehicles in real time. As a result, the behaviors of autonomous vehicles under our controller are more realistic compared to CARLA’s default FIFO controller. This also improves the throughput of the traffic through the intersection.","PeriodicalId":158690,"journal":{"name":"2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS)","volume":"143 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122552878","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}

引用次数: 20

Dynamic Network Slicing for the Tactile Internet 触觉互联网的动态网络切片

2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2020-04-01 DOI: 10.1109/ICCPS48487.2020.00020

Kurian Polachan, Belma Turkovic, Prabhakar T. Venkata, C. Singh, F. Kuipers

引用次数: 9

Contextually-aware Fetal Sensing in Transabdominal Fetal Pulse Oximetry 经腹胎儿脉搏血氧测定中的情境感知胎儿感测

2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2020-04-01 DOI: 10.1109/ICCPS48487.2020.00019

Daniel D. Fong, Kourosh Vali, S. Ghiasi

{"title":"Contextually-aware Fetal Sensing in Transabdominal Fetal Pulse Oximetry","authors":"Daniel D. Fong, Kourosh Vali, S. Ghiasi","doi":"10.1109/ICCPS48487.2020.00019","DOIUrl":"https://doi.org/10.1109/ICCPS48487.2020.00019","url":null,"abstract":"Transabdominal fetal pulse oximetry (TFO) is a noninvasive technique that can provide physicians with a convenient measure of fetal oxygen saturation. This is accomplished by sending a known light intensity signal towards the mother’s abdomen, where it is modified by the maternal and fetal tissues, and observed some distance away. The measured signal, captured by a photodetector, contains a mixture of both maternal and fetal information, where the fetal portion must be extracted to calculate the fetal oxygen saturation. However, the ability to decouple the maternal and fetal components is highly dependent on the physiological and structural parameters of the physical system, making it difficult to robustly extract the fetal signal across patients over a long-period of time. In this work, we propose a contextually-aware sensing approach that utilizes additional information about the physical system (physiological, spatial, and temporal) to extract the fetal signal. It does this by using easily-measurable parameters of the mother’s physiology to reduce the maternal impact, incorporating data fusion techniques to combine spatial information from multiple detectors, and utilizing historical data points to improve and validate the fetal signal estimates. The efficacy of the proposed approach is supported by experimental evaluation using in vivo measurements captured on pregnant sheep.","PeriodicalId":158690,"journal":{"name":"2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117013293","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}

引用次数: 7

On-Line Supervisory Control for Surveillance under Partial Observation with scLTL Specifications 基于scLTL规范的部分观测监视的在线监视控制

2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2020-04-01 DOI: 10.1109/ICCPS48487.2020.00028

Ami Sakakibara, T. Ushio

引用次数: 1

Acoustic Side Channel Attack Against DNA Synthesis Machines: Poster Abstract 声学侧通道攻击DNA合成机:海报摘要

2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2020-04-01 DOI: 10.1109/ICCPS48487.2020.00026

Sina Faezi, Sujit Rokka Chhetri, A. Malawade, J. Chaput, William H. Grover, P. Brisk, M. A. Faruque

引用次数: 3

WiP Abstract: Mobility-based Load Balancing for IoT-enabled Devices in Smart Grids 摘要:智能电网中物联网设备基于移动性的负载均衡

2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2020-04-01 DOI: 10.1109/ICCPS48487.2020.00029

N. Shivaraman, Jakob Fittler, Saravanan Ramanathan, A. Easwaran, S. Steinhorst

引用次数: 2

WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control 摘要:基于LTL的回退控制假注入攻击检测

2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS) Pub Date : 2020-04-01 DOI: 10.1109/ICCPS48487.2020.00030

Naomi Kuze, Ami Sakakibara, T. Ushio

引用次数: 4