Mobile users can open program in new tab for better viewing.

Open program in new tab

Day 1 04/12/2020
Room #1

An Opening Speech by the General Chair 13:30 - 13:35

Starts 13:30 Portugal time zone (GMT)

A welcome message by EAI Conference Manager 13:35 - 13:40

Viltare Platzner

A welcome message by EAI Community Manager 13:35 - 13:40

Michal Dudic

EAI IC4S 2020 presentations 13:40 - 15:55

13:40 - 14:15
Automatic Generation of Security Requirements for Cyber-Physical Systems

Security is one of the essential properties in Cyber-Physical Systems (CPS). Attacking systems like autonomous vehicles and health-care systems may lead to financial or privacy losses of stakeholders or even life threats. Security analysis, as an early activity in the system design, addresses security issues and identifies system vulnerabilities in advance to guide further security design. However, the security analysis is mostly performed manually requiring high workload with human oversight. Besides, the manual analysis is not flexible for modification in later design stages and largely depends on expert knowledge and experience. Therefore, a new security analysis approach has been proposed in this paper to generate security requirements automatically, which is based on the System-Theoretic Process Analysis (STPA) framework and is applicable for data-flow-based CPSs. We have also developed a software prototype to support the implementation of this automatic approach and used it to obtain the security requirements of two CPSs in the automotive domain. Finally, we compared the automatically generated outcomes with the manually obtained ones and evaluated the proposed approach. Based on the experiment results, we found that the automatic way is efficient, effective and flexible. Furthermore, the proposed approach is also extensible. Analysts in a team can establish their own empirical repository to achieve accurate security requirements for their specific systems.
Authors: Jinghua Yu (Tongji University), Stefan Wagner (University of Stuttgart), Feng Luo (Tongji University),
Hide Authors & Abstract

Show Authors & Abstract
14:15 - 14:50
Privacy-Preserving Blockchain-Based Solutions in the Internet of Things

Internet of Things (IoT) is a promising, relatively new technology that develops ``smart'' networks with a variety of uses and applications (e.g., smart cities, smart home and autonomous cars). The diversity of protocols, technologies and devices that IoT consists of, even though they add in value and utility, they create major privacy issues that can be exploited by malicious entities to benefit from or even violate privacy of IoT users. The special features of blockchain technology, such as immutability, transparency, accessibility, autonomy and decentralisation, has led the academics and the industry to search for further uses of it, besides financial applications (e.g., Bitcoin) that was initially applied. This paper is a survey on the existing literature regarding blockchain-based privacy-preserving solutions that have been proposed specifically for the IoT to address personal data protection and preserve user privacy.
Authors: Nikolaos Zapoglou (International Hellenic University), Ioannis Patsakos (International Hellenic University), George Drosatos (Athena Research Center), Konstantinos Rantos (International Hellenic University),
Hide Authors & Abstract

Show Authors & Abstract
14:50 - 15:25
A non-intrusive IoT-based real-time alert system for elderly people monitoring

Typically, elderly people may be living alone for part of the day or full time, and may have difficulties or problems with mobility, but they want to maintain their independence and autonomy. Internet of Things (IoT) technology may be used to contribute to increasing the degree of security of these people in their own homes, in a much more discreet and non-intrusive way than the typical commercially available systems, providing real-time data about the status of these people to their family members or caretakers. In this article, a non-intrusive IoT- based real-time alert system to be used by elderly people is proposed, using simple and low-cost “of the shelf” electronic components. It is also intended that this solution can integrate other monitoring devices already available on the market, such as bracelets, video cameras, robots, among others. Both laboratorial and house-hold tests have been conducted to prove the effectiveness of the system.
Authors: Dr. NISHU GUPTA (University of Oviedo, Spain & Vaagdevi College of Engineering, Warangal, India), Hugo Martins (University of Tr´as-os-Montes e Alto Douro (UTAD), Portugal), M.J.C.S. Reis (University of Tr´as-os-Montes e Alto Douro (UTAD)/IEETA, Portugal),
Hide Authors & Abstract

Show Authors & Abstract
15:25 - 15:55
A Smartphone Application Designed to Detect Obstacles for Pedestrians’ Safety

Encouraging people to walk rather than using other means of transportation is an important factor towards personal health and environmental sustainability. However, given the large number of pedestrian accidents recorded every year, the need for safe urban environments is increasing. Taking advantage of the potential of citizen-science for crowdsourcing data and creating awareness, we developed a smartphone application for enhancing the safety of pedestrians while walking in cities. Using the application, citizens will monitor the urban sidewalks and update a crowdsourcing platform with the detected barriers and damages that hinder safe walking, along with their location on a city map. To help users assign the correct type of obstacle, and authorities to assess the urgency, a Convolutional Neural Network (CNN) model for barrier and damage recognition is embedded in the application. The results of a user evaluation, based on a group of volunteers who used the application in real conditions, demonstrate the potential of using the application in conjunction with a smart city framework.
Authors: Marios Thoma (Research Centre on Interactive Media, Smart Systems and Emerging Technologies - RISE), Zenonas Theodosiou (RISE), Harris Partaourides (Research Centre on Interactive Media, Smart Systems and Emerging Technologies - RISE), Charalambos Tylliros (Research Centre on Interactive Media, Smart Systems and Emerging Technologies - RISE), Demetris Antoniades (Research Centre on Interactive Media, Smart Systems and Emerging Technologies - RISE), Andreas Lanitis (Research Centre on Interactive Media, Smart Systems and Emerging Technologies - RISE & Department of Multimedia and Graphic Arts, Cyprus University of Technology),
Hide Authors & Abstract

Show Authors & Abstract

A Closing video by the General Chair 15:55 - 16:00