English
Related papers

Related papers: CyRes -- Avoiding Catastrophic Failure in Connecte…

200 papers

While certified robustness is widely promoted as a solution to adversarial examples in Artificial Intelligence systems, significant challenges remain before these techniques can be meaningfully deployed in real-world applications. We…

Cryptography and Security · Computer Science 2025-08-12 Andrew C. Cullen , Paul Montague , Sarah M. Erfani , Benjamin I. P. Rubinstein

Deploying autonomous systems in safety critical settings necessitates methods to verify their safety properties. This is challenging because real-world systems may be subject to disturbances that affect their performance, but are unknown a…

Systems and Control · Electrical Eng. & Systems 2024-02-15 Nicholas Rober , Karan Mahesh , Tyler M. Paine , Max L. Greene , Steven Lee , Sildomar T. Monteiro , Michael R. Benjamin , Jonathan P. How

Securing safe driving for connected and autonomous vehicles (CAVs) continues to be a widespread concern, despite various sophisticated functions delivered by artificial intelligence for in-vehicle devices. Diverse malicious network attacks…

Networking and Internet Architecture · Computer Science 2024-10-28 Le Xia , Yao Sun , Rafiq Swash , Lina Mohjazi , Lei Zhang , Muhammad Ali Imran

In the coming years, transportation system will be revamped in a manner that there will be more intelligent and autonomous vehicle phenomenon around us such as smart cars, auto driving system, etc. Some of automotive industries are already…

Computers and Society · Computer Science 2017-07-31 Madhusudan Singh , Shiho Kim

As technology advances, cities are evolving into smart cities, with the ability to process large amounts of data and the increasing complexity and diversification of various elements within urban areas. Among the core systems of a smart…

Cryptography and Security · Computer Science 2023-11-28 Jaewoong Choi , Min Geun Song , Hyosun Lee , Chaeyeon Sagong , Sangbeom Park , Jaesung Lee , Jeong Do Yoo , Huy Kang Kim

Purpose: Continuous Software Engineering (CSE) promises improved efficiency, quality, and responsiveness in software-intensive organizations. However, fully adopting CSE is often constrained by complex products, legacy systems,…

Software Engineering · Computer Science 2025-11-05 Eriks Klotins , Magnus Ahlgren , Nicolas Martin Vivaldi , Even-Andre Karlsson

Automated Driving Systems (ADSs) have seen rapid progress in recent years. To ensure the safety and reliability of these systems, extensive testings are being conducted before their future mass deployment. Testing the system on the road is…

Software Engineering · Computer Science 2021-12-03 Ziyuan Zhong , Yun Tang , Yuan Zhou , Vania de Oliveira Neves , Yang Liu , Baishakhi Ray

In the last century the automotive industry has arguably transformed society, being one of the most complex, sophisticated and technologically advanced industries, with innovations ranging from hybrid, electric and self-driving smart cars…

Cryptography and Security · Computer Science 2024-02-05 Paula Fraga-Lamas , Tiago M. Fernandez-Carames

Several approaches have been used to assess the performance of cyberphysical systems and their exposure to various types of risks. Such assessments have become increasingly important as autonomous attackers ramp up the frequency, duration…

Cryptography and Security · Computer Science 2021-02-02 Alexandre Ligo , Alexander Kott , Igor Linkov

In recent times, the research works relating to smart traffic infrastructure have gained serious attention. As a result, research has been carried out in multiple directions to ensure that such infrastructure can improve upon our existing…

Cryptography and Security · Computer Science 2023-09-28 Anubhab Baksi , Ahmed Ibrahim Samir Khalil , Anupam Chattopadhyay

Safety is becoming cybersecurity under most circumstances. This should be reflected in the Cybersecurity Resilience Act when it is proposed and agreed upon in the European Union. In this paper, we define a range of principles which this…

Computers and Society · Computer Science 2022-05-27 Kaspar Rosager Ludvigsen , Shishir Nagaraja

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

This paper introduces a value-driven cybersecurity innovation framework for the transportation and infrastructure sectors, as opposed to the traditional market-centric approaches that have dominated the field. Recontextualizing innovation…

Cryptography and Security · Computer Science 2024-11-27 Lampis Alevizos , Lalit Bhakuni , Stefan Jaschke

This paper discusses ongoing work in demonstrating research in mobile autonomy in challenging driving scenarios. In our approach, we address fundamental technical issues to overcome critical barriers to assurance and regulation for…

Computers and Society · Computer Science 2020-05-06 Matthew Gadd , Daniele De Martini , Letizia Marchegiani , Paul Newman , Lars Kunze

Autonomous robots deployed in shared human environments, such as agricultural settings, require rigorous safety assurance to meet both functional reliability and regulatory compliance. These systems must operate in dynamic, unstructured…

Robotics · Computer Science 2025-10-16 Mustafa Adam , David A. Anisi , Pedro Ribeiro

Despite the rapid technological progress, autonomous vehicles still face a wide range of complex driving situations that require human intervention. Teleoperation technology offers a versatile and effective way to address these challenges.…

Robotics · Computer Science 2024-02-16 Domagoj Majstorovic , Simon Hoffmann , Frank Diermeyer

Cyber-physical systems (CPS) incorporate the complex and large-scale engineered systems behind critical infrastructure operations, such as water distribution networks, energy delivery systems, healthcare services, manufacturing systems, and…

Cryptography and Security · Computer Science 2021-09-29 Charalambos Konstantinou , George Stergiopoulos , Masood Parvania , Paulo Esteves-Verissimo

Cyber assurance, which is the ability to operate under the onslaught of cyber attacks and other unexpected events, is essential for organizations facing inundating security threats on a daily basis. Organizations usually employ multiple…

Cryptography and Security · Computer Science 2022-07-26 Nan Sun , Chang-Tsun Li , Hin Chan , Md Zahidul Islam , Md Rafiqul Islam , Warren Armstrong

Ecosystems are ubiquitous but trust within them is not guaranteed. Trust is paramount because stakeholders within an ecosystem must collaborate to achieve their objectives. With the twin transitions, digital transformation to go in parallel…

Computers and Society · Computer Science 2023-12-04 Jon Arne Glomsrud , Tita Alissa Bach

Before reaching full autonomy, vehicles will gradually be equipped with more and more advanced driver assistance systems (ADAS), effectively rendering them semi-autonomous. However, current ADAS technologies seem unable to handle complex…

Multiagent Systems · Computer Science 2017-06-27 Florent Altche , Xiangjun Qian , Arnaud de La Fortelle
‹ Prev 1 4 5 6 7 8 10 Next ›