English
Related papers

Related papers: Cyber-Physical Taint Analysis in Multi-stage Manuf…

200 papers

Tunnels are essential elements of transportation infrastructure, but are increasingly affected by ageing and deterioration mechanisms such as cracking. Regular inspections are required to ensure their safety, yet traditional manual…

Computer Vision and Pattern Recognition · Computer Science 2025-12-17 Andreas Sjölander , Valeria Belloni , Robel Fekadu , Andrea Nascetti

This paper introduces a case study that involves data leakage in a bank applying the so-called Thinging Machine (TM) model. The aim is twofold: (1) Presenting a systematic conceptual framework for the leakage problem that provides a…

Software Engineering · Computer Science 2018-12-03 Sabah S. Al-Fedaghi , Mahmoud BehBehani

In this paper, we present a study that proposes a three-stage classifier model which employs a machine learning algorithm to develop an intrusion detection and identification system for tens of different types of attacks against industrial…

Cryptography and Security · Computer Science 2020-12-18 Ahsan Al Zaki Khan , Gursel Serpen

Anomaly detection in multivariate time series (MTS) is crucial for various applications in data mining and industry. Current industrial methods typically approach anomaly detection as an unsupervised learning task, aiming to identify…

Machine Learning · Computer Science 2024-10-14 Yuanyi Wang , Haifeng Sun , Chengsen Wang , Mengde Zhu , Jingyu Wang , Wei Tang , Qi Qi , Zirui Zhuang , Jianxin Liao

The massive proliferation of wireless infrastructures with complementary characteristics prompts the bandwidth aggregation for Concurrent Multipath Transfer (CMT) over heterogeneous access networks. Stream Control Transmission Protocol…

Networking and Internet Architecture · Computer Science 2016-11-15 Jiyan Wu , Bo Cheng , Chau Yuen , Yanlei Shang , Junliang Chen

The digitisation of industry provides a plethora of novel applications that increase flexibility and reduce setup and maintenance time as well as cost. Furthermore, novel use cases are created by the digitisation of industry, commonly known…

Cryptography and Security · Computer Science 2020-07-20 Simon D Duque Anton , Hans Dieter Schotten

The growing number of Internet users and the prevalence of web applications make it necessary to deal with very complex software and applications in the network. This results in an increasing number of new vulnerabilities in the systems,…

Networking and Internet Architecture · Computer Science 2021-08-18 Mahdi Soltani , Mahdi Jafari Siavoshani , Amir Hossein Jahangir

Digital twins (DTs) are increasingly used to monitor and secure Industrial Control Systems (ICS), yet detecting stealthy False Data Injection Attacks (FDIAs) that manipulate system states within normal physical bounds remains challenging.…

Cryptography and Security · Computer Science 2026-03-03 Inda Kreso , Mehran Tarif , Fatemeh Moradi , Iman Khazrak , Mostafa M Rezaee , Mohammadhossein Homaei

Diffusion models are powerful generative models in continuous data domains such as image and video data. Discrete graph diffusion models (DGDMs) have recently extended them for graph generation, which are crucial in fields like molecule and…

Cryptography and Security · Computer Science 2025-03-11 Jiawen Wang , Samin Karim , Yuan Hong , Binghui Wang

Many important security properties can be formulated in terms of flows of tainted data, and improved taint analysis tools to prevent such flows are of critical need. Most existing taint analyses use whole-program static analysis, leading to…

Programming Languages · Computer Science 2025-05-02 Nima Karimipour , Kanak Das , Manu Sridharan , Behnaz Hassanshahi

Insider threat is one of the most pernicious threat vectors to information and communication technologies (ICT)across the world due to the elevated level of trust and access that an insider is afforded. This type of threat can stem from…

Cryptography and Security · Computer Science 2021-02-11 Nidhi Rastogi , Qicheng Ma

Modern technological advances have expanded the scope of applications requiring analysis of large-scale datastreams that comprise multiple indefinitely long time series. There is an acute need for statistical methodologies that perform…

Methodology · Statistics 2021-11-03 Jingshen Wang , Lilun Du , Changliang Zou , Zhenke Wu

We propose deterministic timed automata (DTA) as a model-independent language for specifying performance and dependability measures over continuous-time stochastic processes. Technically, these measures are defined as limit frequencies of…

Systems and Control · Computer Science 2015-03-17 Tomáš Brázdil , Jan Krčál , Jan Křetínský , Antonín Kučera , Vojtěch Řehák

State estimation estimates the system condition in real-time and provides a base case for other energy management system (EMS) applications including real-time contingency analysis and security-constrained economic dispatch. Recent work in…

Systems and Control · Computer Science 2019-12-02 Xingpeng Li , Kory W. Hedman

Malicious software is an integral part of cybercrime defense. Due to the growing number of malicious attacks and their target sources, detecting and preventing the attack becomes more challenging due to the assault's changing behavior. The…

Cryptography and Security · Computer Science 2023-08-10 Mohammad Aziz , Ali Saeed Alfoudi

Methods from machine learning are being applied to design Industrial Control Systems resilient to cyber-attacks. Such methods focus on two major areas: the detection of intrusions at the network-level using the information acquired through…

Cryptography and Security · Computer Science 2022-02-25 Muhammad Azmi Umer , Khurum Nazir Junejo , Muhammad Taha Jilani , Aditya P. Mathur

Traffic anomalies and attacks are commonplace in today's networks and identifying them rapidly and accurately is critical for large network operators. For a statistical intrusion detection system (IDS), it is crucial to detect at the…

Graphics · Computer Science 2025-06-27 Pin Ren , Yan Gao , Zhichun Li , Yan Chen , Benjamin Watson

Modern enterprises increasingly adopt diverse technology stacks with various programming languages, posing significant challenges for static application security testing (SAST). Existing taint analysis tools are predominantly designed for…

Software Engineering · Computer Science 2026-04-03 Yayi Wang , Shenao Wang , Jian Zhao , Shaosen Shi , Ting Li , Yan Cheng , Lizhong Bian , Kan Yu , Yanjie Zhao , Haoyu Wang

Index tuning is critical for the performance of modern database systems. Industrial index tuners, such as the Database Tuning Advisor (DTA) developed for Microsoft SQL Server, rely on the "what-if" API provided by the query optimizer to…

Databases · Computer Science 2026-05-12 Xiaoying Wang , Wentao Wu , Vivek Narasayya , Surajit Chaudhuri

Intrusion Detection is one of major threats for organization. The approach of intrusion detection using text processing has been one of research interests which is gaining significant importance from researchers. In text mining based…

Cryptography and Security · Computer Science 2016-03-15 Gunupudi RajeshKumar , N Mangathayaru , G Narsimha
‹ Prev 1 3 4 5 6 7 10 Next ›