English
Related papers

Related papers: Towards Flexible Security Testing of OT Devices

200 papers

The implementation, deployment and testing of secure services for Internet of Things devices is nowadays still at an early stage. Several frameworks have recently emerged to help developers realize such services, abstracting the complexity…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-07-02 Christian Göttel , Pascal Felber , Valerio Schiavoni

As in the car industry for quite some time, dynamic simulation of complete vehicles is being practiced more and more in the development of off-road machinery. However, specific questions arise due not only to company structure and size, but…

Computational Engineering, Finance, and Science · Computer Science 2011-08-30 Reno Filla , Jan-Ove Palmberg

Collaborative robots are being increasingly utilized in industrial production lines due to their efficiency and accuracy. However, the close proximity between humans and robots can pose safety risks due to the robot's high-speed movements…

Low-cost portable devices capable of capturing signature signals are being increasingly used. Additionally, the social and legal acceptance of the written signature for authentication purposes is opening a range of new applications. We…

Cryptography and Security · Computer Science 2023-01-12 Fernando Alonso-Fernandez , Julian Fierrez-Aguilar , Javier Ortega-Garcia , Joaquin Gonzalez-Rodriguez

In recent years, the buildings where we spend most part of our life are rapidly evolving. They are becoming fully automated environments where energy consumption, access control, heating and many other subsystems are all integrated within a…

Cryptography and Security · Computer Science 2019-12-06 Daniel Ricardo dos Santos , Mario Dagrada , Elisa Costante

Nowadays, we are rapidly moving beyond bespoke detailed solutions tailored for very specific problems, and we already build upon reusable and more general purpose infrastructures and tools, referring to them as IoT, Industrial IoT/Industry…

Computers and Society · Computer Science 2020-09-29 Hang Song , Yuncheng Jiang

Cyber-physical systems are becoming core of the most modern systems consisting control, data sharing and real-time monitoring. While centralized control technique has been implemented in the past, recent innovation in distributed control…

Systems and Control · Electrical Eng. & Systems 2021-06-28 Md Amimul Ehsan

Formal verification provides strong safety guarantees but only for models of cyber-physical systems. Hybrid system models describe the required interplay of computation and physical dynamics, which is crucial to guarantee what computations…

Logic in Computer Science · Computer Science 2019-02-26 Stefan Mitsch , André Platzer

There has been increasing interest in deploying IoT devices to study human behaviour in locations such as homes and offices. Such devices can be deployed in a laboratory or `in the wild' in natural environments. The latter allows one to…

Human-Computer Interaction · Computer Science 2019-08-12 Jie Jiang , Riccardo Pozza , Nigel Gilbert , Klaus Moessner

We describe a framework and tool specification that represents a step towards cybersecurity testing and monitoring of IoT ecosystems. We begin with challenges from a previous paper and discuss an integrated approach and tools to enable…

The ever-increasing complexity of HW/SW systems presents a persistent challenge, particularly in safety-critical domains like automotive, where extensive testing is imperative. However, the availability of hardware often lags behind,…

Software Engineering · Computer Science 2025-06-13 Lukas Jünger , Jan Henrik Weinstock , Tim Kraus

Manufacturers of safety-critical systems must make the case that their product is sufficiently safe for public deployment. Much of this case often relies upon critical event outcomes from real-world testing, requiring manufacturers to be…

Artificial Intelligence · Computer Science 2018-05-22 Jeremy Morton , Tim A. Wheeler , Mykel J. Kochenderfer

We present a new approach to automated scenario-based testing of the safety of autonomous vehicles, especially those using advanced artificial intelligence-based components, spanning both simulation-based evaluation as well as testing in…

Systems and Control · Electrical Eng. & Systems 2020-07-14 Daniel J. Fremont , Edward Kim , Yash Vardhan Pant , Sanjit A. Seshia , Atul Acharya , Xantha Bruso , Paul Wells , Steve Lemke , Qiang Lu , Shalin Mehta

Recent changes in standards and regulations, driven by the increasing importance of software systems in meeting societal needs, mandate increased security testing of software systems. Penetration testing has been shown to be a reliable…

Cryptography and Security · Computer Science 2024-12-18 Charilaos Skandylas , Mikael Asplund

The disaggregated and multi-vendor nature of OPEN-RAN networks introduces new supply chain security risks, making equipment authenticity and integrity crucial challenges. Robust solutions are needed to mitigate vulnerabilities in…

Cryptography and Security · Computer Science 2024-04-09 Ali Mehrban , Mostafa Jani

Machine learning techniques have been widely applied in Internet companies for various tasks, acting as an essential driving force, and feature engineering has been generally recognized as a crucial tache when constructing machine learning…

Machine Learning · Computer Science 2020-03-10 Qitao Shi , Ya-Lin Zhang , Longfei Li , Xinxing Yang , Meng Li , Jun Zhou

Hybrid systems with both discrete and continuous dynamics are an important model for real-world cyber-physical systems. The key challenge is to ensure their correct functioning w.r.t. safety requirements. Promising techniques to ensure…

Logic in Computer Science · Computer Science 2015-05-27 Stefan Mitsch , Grant Olney Passmore , Andre Platzer

The Internet of Things (IoT) propagates the paradigm of interconnecting billions of heterogeneous devices by various manufacturers. To enable IoT applications, the communication between IoT devices follows specifications defined by standard…

Cryptography and Security · Computer Science 2018-10-30 Philipp Morgner , Zinaida Benenson

IoT is undoubtedly considered the future of the Internet. Many sectors are moving towards the use of these devices to aid better monitoring, controlling of the surrounding environment, and manufacturing processes. The Industrial Internet of…

Cryptography and Security · Computer Science 2023-02-21 Bassam Zahran , Adamu Hussaini , Aisha Ali-Gombe

This paper presents the CAT Vehicle (Cognitive and Autonomous Test Vehicle) Testbed: a research testbed comprised of a distributed simulation-based autonomous vehicle, with straightforward transition to hardware in the loop testing and…

Robotics · Computer Science 2018-04-13 Rahul Kumar Bhadani , Jonathan Sprinkle , Matthew Bunting
‹ Prev 1 8 9 10 Next ›