English
Related papers

Related papers: FIST: A Structured Threat Modeling Framework for F…

200 papers

In the era of the Internet of Things (IoT) and data sharing, users frequently upload their personal information to enterprise databases to enjoy enhanced service experiences provided by various online services. However, the widespread…

Cryptography and Security · Computer Science 2024-11-05 Zilin Huang , Xiangyan Tang , Hongyu Li , Xinyi Cao , Jieren Cheng

Hybrid systems are integrations of discrete computation and continuous physical evolution. The physical components of such systems introduce safety requirements, the achievement of which asks for the correct monitoring and control from the…

Logic in Computer Science · Computer Science 2014-03-28 Shuling Wang , Flemming Nielson , Hanne Riis Nielson

Failure Mode Reasoning (FMR) is a novel approach for analyzing failure in a Safety Instrumented System (SIS). The method uses an automatic analysis of an SIS program to calculate potential failures in parts of the SIS. In this paper we use…

Software Engineering · Computer Science 2020-07-21 Hamid Jahanian , David Parker , Marc Zeller , Annabelle McIver , Yiannis Papadopoulos

Rapid growth of digital transactions has led to a surge in fraudulent activities, challenging traditional detection methods in the financial sector. To tackle this problem, we introduce a specialised federated learning framework that…

Federated Learning (FL) is a data-minimization approach enabling collaborative model training across diverse clients with local data, avoiding direct data exchange. However, state-of-the-art FL solutions to identify fraudulent financial…

Internet of Things (IoT) platforms with trigger-action capability allow event conditions to trigger actions in IoT devices autonomously by creating a chain of interactions. Adversaries exploit this chain of interactions to maliciously…

Cryptography and Security · Computer Science 2025-03-13 Md Morshed Alam , Lokesh Chandra Das , Sandip Roy , Sachin Shetty , Weichao Wang

The massive scale of modern AI accelerators presents critical challenges to traditional fault assessment methodologies, which face prohibitive computational costs and provide poor coverage of critical failure modes. This paper introduces…

Artificial Intelligence · Computer Science 2025-12-11 Khurram Khalil , Muhammad Mahad Khaliq , Khaza Anuarul Hoque

ICS environments are vital to the operation of critical infrastructure such as power grids, water treatment facilities, and manufacturing plants. However, these systems are vulnerable to cyber attacks due to their reliance on interconnected…

Cryptography and Security · Computer Science 2024-12-02 Can Ozkan , Dave Singelee

In this work, we examine the evaluation process for the task of detecting financial reports with a high risk of containing a misstatement. This task is often referred to, in the literature, as ``misstatement detection in financial…

Large language models (LLMs) often exhibit undesirable behaviors, such as safety violations and hallucinations. Although inference-time steering offers a cost-effective way to adjust model behavior without updating its parameters, existing…

Machine Learning · Computer Science 2026-04-20 Zixuan Weng , Jinghuai Zhang , Kunlin Cai , Ying Li , Peiran Wang , Yuan Tian

With artificial intelligence (AI) being applied to bring autonomy to decision-making in safety-critical domains such as the ones typified in the aerospace and emergency-response services, there has been a call to address the ethical…

Artificial Intelligence · Computer Science 2025-09-03 Julian Gerald Dcruz , Argyrios Zolotas , Niall Ross Greenwood , Miguel Arana-Catania

Advanced Persistent Threat (APT) attacks are highly sophisticated and employ a multitude of advanced methods and techniques to target organizations and steal sensitive and confidential information. APT attacks consist of multiple stages and…

Cryptography and Security · Computer Science 2023-09-18 Huynh Thai Thi , Ngo Duc Hoang Son , Phan The Duy , Nghi Hoang Khoa , Khoa Ngo-Khanh , Van-Hau Pham

The rapid evolution of Large Language Models (LLMs) has unlocked new possibilities for applying artificial intelligence across a wide range of fields, including privacy engineering. As modern applications increasingly handle sensitive user…

Cryptography and Security · Computer Science 2025-09-09 Majid Mollaeefar , Andrea Bissoli , Silvio Ranise

With the rapid advancement of generative AI, synthetic content across images, videos, and audio has become increasingly realistic, amplifying the risk of misinformation. Existing detection approaches predominantly focus on binary…

Machine Learning · Computer Science 2025-07-23 Xu Yang , Qi Zhang , Shuming Jiang , Yaowen Xu , Zhaofan Zou , Hao Sun , Xuelong Li

Fraud detection is a difficult problem that can benefit from predictive modeling. However, the verification of a prediction is challenging; for a single insurance policy, the model only provides a prediction score. We present a case study…

Machine Learning · Computer Science 2018-06-20 Dennis Collaris , Leo M. Vink , Jarke J. van Wijk

Artificial intelligence (AI) systems can provide many beneficial capabilities but also risks of adverse events. Some AI systems could present risks of events with very high or catastrophic consequences at societal scale. The US National…

Computers and Society · Computer Science 2023-02-24 Anthony M. Barrett , Dan Hendrycks , Jessica Newman , Brandie Nonnecke

This survey paper categorises, compares, and summarises from almost all published technical and review articles in automated fraud detection within the last 10 years. It defines the professional fraudster, formalises the main types and…

Artificial Intelligence · Computer Science 2019-04-03 Clifton Phua , Vincent Lee , Kate Smith , Ross Gayler

Multimodal foundation models (MMFMs) play a crucial role in various applications, including autonomous driving, healthcare, and virtual assistants. However, several studies have revealed vulnerabilities in these models, such as generating…

In modern automotive development, security testing is critical for safeguarding systems against increasingly advanced threats. Attack trees are widely used to systematically represent potential attack vectors, but generating comprehensive…

Cryptography and Security · Computer Science 2025-11-04 Tanmay Khule , Stefan Marksteiner , Jose Alguindigue , Hannes Fuchs , Sebastian Fischmeister , Apurva Narayan

Large Language Model (LLM) services such as ChatGPT, DALLE, and Cursor have quickly become essential for society, businesses, and individuals, empowering applications such as chatbots, image generation, and code assistance. The complexity…