English
Related papers

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

200 papers

In-vitro tests are an alternative to animal testing for the toxicity of medical devices. Detecting cells as a first step, a cell expert evaluates the growth of cells according to cytotoxicity grade under the microscope. Thus, human fatigue…

Image and Video Processing · Electrical Eng. & Systems 2022-08-09 Marawan Elbatel , Christina Bornberg , Manasi Kattel , Enrique Almar , Claudio Marrocco , Alessandro Bria

We propose a novel framework for modelling attack scenarios in cyber-physical control systems: we represent a cyber-physical system as a constrained switching system, where a single model embeds the dynamics of the physical process, the…

Systems and Control · Electrical Eng. & Systems 2023-01-02 Eleftherios Vlahakis , Gregory Provan , Gordon Werner , Shanchieh Yang , Nikolaos Athanasopoulos

LLM-based code interpreter agents are increasingly deployed in critical workflows, yet their robustness against risks introduced by their code execution capabilities remains underexplored. Existing benchmarks are limited to static datasets…

Cryptography and Security · Computer Science 2026-02-24 Lei Ba , Qinbin Li , Songze Li

Cyber threat hunting is the practice of proactively searching for latent threats in a network. Engaging in threat hunting can be difficult due to the volume of network traffic, variety of adversary techniques, and constantly evolving…

Cryptography and Security · Computer Science 2025-03-10 Matthew J. Turner , Mike Carenzo , Jackie Lasky , James Morris-King , James Ross

As the de facto routing protocol for many Internet of Things (IoT) networks nowadays, and to assure the confidentiality and integrity of its control messages, the Routing Protocol for Low Power and Lossy Networks (RPL) incorporates three…

Networking and Internet Architecture · Computer Science 2021-09-01 Ahmed Raoof , Chung-Horng Lung , Ashraf Matrawy

As large language models (LLMs) increasingly integrate native code interpreters, they enable powerful real-time execution capabilities, substantially expanding their utility. However, such integrations introduce potential system-level…

Cryptography and Security · Computer Science 2025-07-28 Gabriel Chua

Phishing sites continue to grow in volume and sophistication. Recent work leverages large language models (LLMs) to analyze URLs, HTML, and rendered content to decide whether a website is a phishing site. While these approaches are…

Cryptography and Security · Computer Science 2026-02-06 Takashi Koide , Hiroki Nakano , Daiki Chiba

Threat modeling is a popular method to securely develop systems by achieving awareness of potential areas of future damage caused by adversaries. However, threat modeling for systems relying on Artificial Intelligence is still not well…

Cryptography and Security · Computer Science 2024-06-04 Jan von der Assen , Jamo Sharif , Chao Feng , Christian Killer , Gérôme Bovet , Burkhard Stiller

Simulation-based inference (SBI) is constantly in search of more expressive and efficient algorithms to accurately infer the parameters of complex simulation models. In line with this goal, we present consistency models for posterior…

Machine Learning · Computer Science 2024-11-05 Marvin Schmitt , Valentin Pratz , Ullrich Köthe , Paul-Christian Bürkner , Stefan T Radev

The protection of Industrial Control Systems (ICS) that are employed in public critical infrastructures is of utmost importance due to catastrophic physical damages cyberattacks may cause. The research community requires testbeds for…

Cryptography and Security · Computer Science 2023-09-06 Colman McGuan , Chansu Yu , Qin Lin

Security analysts face increasing pressure to triage large and complex vulnerability backlogs. Large Language Models (LLMs) offer a potential aid by automating parts of the interpretation process. We evaluate four models (ChatGPT, Claude,…

Cryptography and Security · Computer Science 2025-10-22 Osama Al Haddad , Muhammad Ikram , Ejaz Ahmed , Young Lee

Attackers have developed ever more sophisticated and intelligent ways to hack information and communication technology systems. The extent of damage an individual hacker can carry out upon infiltrating a system is well understood. A…

Cryptography and Security · Computer Science 2018-08-20 Cosimo Ieracitano , Ahsan Adeel , Mandar Gogate , Kia Dashtipour , Francesco Carlo Morabito , Hadi Larijani , Ali Raza , Amir Hussain

Critical infrastructure systems like power grid require an improved critical in-formation infrastructure (CII) that can not only help in monitoring of the crit-ical entities but also take part in failure analysis and self-healing. Efficient…

Networking and Internet Architecture · Computer Science 2020-08-04 Sohini Roy

Large Language Models (LLMs) are increasingly integrated into real-world applications via the Model Context Protocol (MCP), a universal open standard for connecting AI agents with data sources and external tools. While MCP enhances the…

Cryptography and Security · Computer Science 2026-02-13 Yixuan Yang , Cuifeng Gao , Daoyuan Wu , Yufan Chen , Yingjiu Li , Shuai Wang

The rapid evolution of mobile networks from 5G to 6G has necessitated the development of autonomous network management systems, such as Zero-Touch Networks (ZTNs). However, the increased complexity and automation of these networks have also…

Machine Learning · Computer Science 2024-09-06 Li Yang , Abdallah Shami

This paper presents a security paradigm for edge devices to defend against various internal and external threats. The first section of the manuscript proposes employing machine learning models to identify MQTT-based (Message Queue Telemetry…

Cryptography and Security · Computer Science 2025-02-11 Sahar L. Qaddoori , Qutaiba I. Ali

The increasing sophistication of modern cyber threats, particularly file-less malware relying on living-off-the-land techniques, poses significant challenges to traditional detection mechanisms. Memory forensics has emerged as a crucial…

Cryptography and Security · Computer Science 2026-02-23 Arslan Tariq Syed , Mohamed Chahine Ghanem , Elhadj Benkhelifa , Fauzia Idrees Abro

Large Language Models (LLMs) deploy safety mechanisms to prevent harmful outputs, yet these defenses remain vulnerable to adversarial prompts. While existing research demonstrates that jailbreak attacks succeed, it does not explain…

Cryptography and Security · Computer Science 2026-02-11 Hayfa Dhabhi , Kashyap Thimmaraju

Model inference systems are essential for implementing end-to-end data analytics pipelines that deliver the benefits of machine learning models to users. Existing cloud-based model inference systems are costly, not easy to scale, and must…

Cryptography and Security · Computer Science 2024-12-17 Guoyu Hu , Yuncheng Wu , Gang Chen , Tien Tuan Anh Dinh , Beng Chin Ooi

Software-defined network (SDN) is a new approach that allows network control to become directly programmable, and the underlying infrastructure can be abstracted from applications and network services. Control plane). When it comes to…

Cryptography and Security · Computer Science 2024-11-12 Muhammad Zawad Mahmud , Shahran Rahman Alve , Samiha Islam , Mohammad Monirujjaman Khan