English
Related papers

Related papers: SMSI: System Model Security Inference: Automated T…

200 papers

Cyber-Physical Systems (CPS) are formed through interconnected components capable of computation, communication, sensing and changing the physical world. The development of these systems poses a significant challenge since they have to be…

Cryptography and Security · Computer Science 2021-09-22 Igor Ivkic , Patrizia Sailer , Antonios Gouglidis , Andreas Mauthe , Markus Tauber

In recent years, curial incidents and accidents have been reported due to un-intended control caused by misjudgment of statistical machine learning (SML), which include deep learning. The international functional safety standards for…

Software Engineering · Computer Science 2020-08-05 Akihisa Morikawa , Yutaka Matsubara

As cyber threats continue to evolve in complexity and frequency, robust endpoint protection is essential for organizational security. This paper presents "Endpoint Security Agent: A Comprehensive Approach to Real-time System Monitoring and…

Cryptography and Security · Computer Science 2025-11-12 Srihari R , Ayesha Taranum , Karthik , Mohammed Usman Hussain

This paper introduces a novel nonlinear stochastic model predictive control path integral (MPPI) method, which considers chance constraints on system states. The proposed belief-space stochastic MPPI (BSS-MPPI) applies Monte-Carlo sampling…

Robotics · Computer Science 2024-08-16 Ji Yin , Panagiotis Tsiotras , Karl Berntorp

In this paper, the problem of simultaneous cyber attack and fault detection and isolation (CAFDI) in cyber-physical systems (CPS) is studied. The proposed solution methodology consists of two filters on the plant and the command and control…

Systems and Control · Electrical Eng. & Systems 2020-09-15 Mahdi Taheri , Khashayar Khorasani , Iman Shames , Nader Meskin

As the complexity and connectivity of networks increase, the need for novel malware detection approaches becomes imperative. Traditional security defenses are becoming less effective against the advanced tactics of today's cyberattacks.…

Cryptography and Security · Computer Science 2024-09-18 Kyle Stein , Andrew A. Mahyari , Guillermo Francia , Eman El-Sheikh

When combining Large Language Models (LLMs) with autonomous agents, used in network monitoring and decision-making systems, this will create serious security issues. In this research, the MAESTRO framework consisting of the seven layers…

Cryptography and Security · Computer Science 2025-08-15 Pallavi Zambare , Venkata Nikhil Thanikella , Ying Liu

Proactive approaches to security, such as adversary emulation, leverage information about threat actors and their techniques (Cyber Threat Intelligence, CTI). However, most CTI still comes in unstructured forms (i.e., natural language),…

Cryptography and Security · Computer Science 2022-08-26 Vittorio Orbinato , Mariarosaria Barbaraci , Roberto Natella , Domenico Cotroneo

Networked control systems (NCS) are spatially distributed systems where communication among plants, sensors, actuators and controllers occurs in a shared communication network. NCS have been studied for the last ten years and important…

Systems and Control · Computer Science 2015-03-20 Alessandro Borri , Giordano Pola , Maria Domenica Di Benedetto

Organizations are increasingly targeted by Advanced Persistent Threats (APTs), which involve complex, multi-stage tactics and diverse techniques. Cyber Threat Intelligence (CTI) sources, such as incident reports and security blogs, provide…

Cryptography and Security · Computer Science 2025-04-09 Sofia Della Penna , Roberto Natella , Vittorio Orbinato , Lorenzo Parracino , Luciano Pianese

Symbolic models or abstractions are known to be powerful tools for the control design of cyber-physical systems (CPSs) with logic specifications. In this paper, we investigate a novel learning-based approach to the construction of symbolic…

Systems and Control · Electrical Eng. & Systems 2022-08-04 Kazumune Hashimoto , Adnane Saoud , Masako Kishida , Toshimitsu Ushio , Dimos Dimarogonas

Safe decision-making algorithms for control of mobile robots often require the existence of feedback to verify the safety of proposed actions. This feedback is assumed to be directly available during the development or deployment of the…

Machine Learning · Computer Science 2026-05-26 Jeff Pflueger , Michael Everett

The prevailing approaches in Network Intrusion Detection Systems (NIDS) are often hampered by issues such as high resource consumption, significant computational demands, and poor interpretability. Furthermore, these systems generally…

Cryptography and Security · Computer Science 2024-06-04 Alice Bizzarri , Chung-En Yu , Brian Jalaian , Fabrizio Riguzzi , Nathaniel D. Bastian

With the fast change of information and communication technologies and global economics manufacturing industry faces the challenges in both market and supply sides. The challenges in the market include short product life cycle, demand…

Optimization and Control · Mathematics 2021-04-28 Komeil Baghizadeh

Diffusion Models (DMs) achieve state-of-the-art synthesis results in image generation and have been applied to various fields. However, DMs sometimes seriously violate user privacy during usage, making the protection of privacy an urgent…

Cryptography and Security · Computer Science 2024-09-10 Xin Zhao , Xiaojun Chen , Xudong Chen , He Li , Tingyu Fan , Zhendong Zhao

Cyber-Physical Systems (CPSs) tightly interconnect digital and physical operations within production environments, enabling real-time monitoring, control, optimization, and autonomous decision-making that directly enhance manufacturing…

Machine Learning · Computer Science 2025-12-16 Francesco Vitale , Nicola Dall'Ora , Sebastiano Gaiardelli , Enrico Fraccaroli , Nicola Mazzocca , Franco Fummi

Autonomous cyber-physical systems (CPSs) leverage AI for perception, planning, and control but face trust and safety certification challenges due to inherent uncertainties. The neurosymbolic paradigm replaces stochastic layers with…

Software Engineering · Computer Science 2025-06-03 Xi Zheng , Ziyang Li , Ivan Ruchkin , Ruzica Piskac , Miroslav Pajic

Network Intrusion Detection Systems (NIDS) play a vital role in protecting digital infrastructures against increasingly sophisticated cyber threats. In this paper, we extend ODXU, a Neurosymbolic AI (NSAI) framework that integrates deep…

Machine Learning · Computer Science 2025-06-06 Huynh T. T. Tran , Jacob Sander , Achraf Cohen , Brian Jalaian , Nathaniel D. Bastian

The automation of Cyber Threat Intelligence (CTI) relies heavily on Named Entity Recognition (NER) to extract critical entities from unstructured text. Currently, Large Language Models (LLMs) primarily address this task through…

Cryptography and Security · Computer Science 2025-12-23 Jiaren Peng , Hongda Sun , Xuan Tian , Cheng Huang , Zeqing Li , Rui Yan

A design-centric modeling approach was proposed to model the behaviour of the physical processes controlled by Industrial Control Systems (ICS) and study the cascading impact of data-oriented attacks. A threat model was used as input to…

Cryptography and Security · Computer Science 2020-07-20 Zhongyuan Hau , John H. Castellanos , Jianying Zhou
‹ Prev 1 8 9 10 Next ›