English
Related papers

Related papers: Automatic Generation of Security Argument Graphs

200 papers

Amidst the growing demand for implementing advanced control and decision-making algorithms|to enhance the reliability, resilience, and stability of power systems|arises a crucial concern regarding the safety of employing machine learning…

Systems and Control · Electrical Eng. & Systems 2025-07-25 Amr S. Mohamed , Emily Nguyen , Deepa Kundur

During the concept design of complex networked systems, concept developers have to ensure that the choice of hardware modules and the topology of the target platform will provide adequate resources to support the needs of the application.…

Hardware Architecture · Computer Science 2024-02-09 Rodrigo Saar de Moraes , Simin Nadjm-Tehrani

Online debates involve a dynamic exchange of ideas over time, where participants need to actively consider their opponents' arguments, respond with counterarguments, reinforce their own points, and introduce more compelling arguments as the…

Computation and Language · Computer Science 2025-02-28 Quan Mai , Susan Gauch , Douglas Adams , Miaoqing Huang

The growing demand for automated graph algorithm reasoning has attracted increasing attention in the large language model (LLM) community. Recent LLM-based graph reasoning methods typically decouple task descriptions from graph data,…

Software Engineering · Computer Science 2026-03-10 Fali Wang , Chenglin Weng , Xianren Zhang , Siyuan Hong , Hui Liu , Suhang Wang

This report documents safety assurance argument templates to support the deployment and operation of autonomous systems that include machine learning (ML) components. The document presents example safety argument templates covering: the…

Software Engineering · Computer Science 2021-03-12 Robin Bloomfield , Gareth Fletcher , Heidy Khlaaf , Luke Hinde , Philippa Ryan

Attack knowledge graph construction seeks to convert textual cyber threat intelligence (CTI) reports into structured representations, portraying the evolutionary traces of cyber attacks. Even though previous research has proposed various…

Cryptography and Security · Computer Science 2024-05-09 Yongheng Zhang , Tingwen Du , Yunshan Ma , Xiang Wang , Yi Xie , Guozheng Yang , Yuliang Lu , Ee-Chien Chang

In the field of Multi-Agent Systems (MAS), known for their openness, dynamism, and cooperative nature, the ability to trust the resources and services of other agents is crucial. Trust, in this setting, is the reliance and confidence an…

Artificial Intelligence · Computer Science 2024-02-13 Behzad Akbari , Mingfeng Yuan , Hao Wang , Haibin Zhu , Jinjun Shan

Many graph algorithms can be viewed as sets of rules that are iteratively applied, with the number of iterations dependent on the size and complexity of the input graph. Existing machine learning architectures often struggle to represent…

Artificial Intelligence · Computer Science 2024-08-21 Florian Grötschla , Joël Mathys , Christoffer Raun , Roger Wattenhofer

Retrieval-Augmented Generation (RAG) is a powerful technique for enhancing Large Language Models (LLMs) with external, up-to-date knowledge. Graph RAG has emerged as an advanced paradigm that leverages graph-based knowledge structures to…

Cryptography and Security · Computer Science 2025-08-26 Jiale Liu , Jiahao Zhang , Suhang Wang

A vulnerability scan combined with information about a computer network can be used to create an attack graph, a model of how the elements of a network could be used in an attack to reach specific states or goals in the network. These…

Cryptography and Security · Computer Science 2021-03-19 Isaac Matthews , Sadegh Soudjani , Aad van Moorsel

Systems engineering approaches use high-level models to capture the architecture and behavior of the system. However, when safety engineers conduct safety and reliability analysis, they have to create formal models, such as fault-trees,…

Software Engineering · Computer Science 2020-04-29 Simon József Nagy , Bence Graics , Kristóf Marussy , András Vörös

As cyber threats grow increasingly sophisticated, reinforcement learning (RL) is emerging as a promising technique to create intelligent and adaptive cyber defense systems. However, most existing autonomous defensive agents have overlooked…

Machine Learning · Computer Science 2025-04-17 Ilya Orson Sandoval , Isaac Symes Thompson , Vasilios Mavroudis , Chris Hicks

Graph-based Retrieval-Augmented Generation (GraphRAG) enhances the reasoning capabilities of Large Language Models (LLMs) by grounding their responses in structured knowledge graphs. Leveraging community detection and relation filtering…

Computation and Language · Computer Science 2026-04-06 Yilin Xiao , Jin Chen , Qinggang Zhang , Yujing Zhang , Chuang Zhou , Longhao Yang , Lingfei Ren , Xin Yang , Xiao Huang

This work introduces an enhanced approach to generating scene graphs by incorporating both a relationship hierarchy and commonsense knowledge. Specifically, we begin by proposing a hierarchical relation head that exploits an informative…

Computer Vision and Pattern Recognition · Computer Science 2024-12-10 Bowen Jiang , Zhijun Zhuang , Shreyas S. Shivakumar , Camillo J. Taylor

Software projects are dependent on many third-party libraries, therefore high-risk vulnerabilities can propagate through the dependency chain to downstream projects. Owing to the subjective nature of patch management, software vendors…

Software Engineering · Computer Science 2024-09-16 Mei Han , Lulu Wang , Jianming Chang , Bixin Li , Chunguang Zhang

Large language models (LLMs) have been widely integrated into critical automated workflows, including contract review and job application processes. However, LLMs are susceptible to manipulation by fraudulent information, which can lead to…

Cryptography and Security · Computer Science 2026-02-02 Naen Xu , Jinghuai Zhang , Ping He , Chunyi Zhou , Jun Wang , Zhihui Fu , Tianyu Du , Zhaoxiang Wang , Shouling Ji

Effective argumentation is essential towards a purposeful conversation with a satisfactory outcome. For example, persuading someone to reconsider smoking might involve empathetic, well founded arguments based on facts and expert opinions…

Computation and Language · Computer Science 2023-05-10 Sougata Saha , Rohini Srihari

Risk classification plays an important role in many regulations and standards. However, a general method that provides an optimal classification has not been proposed yet. Also, the criteria of optimality are not defined in these…

Discrete Mathematics · Computer Science 2020-12-29 Daniel Zentai

Multi-source logs provide a comprehensive overview of ongoing system activities, allowing for in-depth analysis to detect potential threats. A practical approach for threat detection involves explicit extraction of entity triples (subject,…

Software Engineering · Computer Science 2024-11-26 Zhuoran Tan , Christos Anagnostopoulos , Shameem P. Parambath , Jeremy Singer

Association as a gift enables people do not have to mention something in completely straightforward words and allows others to understand what they intend to refer to. In this paper, we propose a chain association-based adversarial attack…

Computation and Language · Computer Science 2024-11-13 Jiacheng Huang , Long Chen
‹ Prev 1 8 9 10 Next ›