中文
相关论文

相关论文: Quantifying Attacker Capability Via Model Checking…

200 篇论文

Cybersecurity planning supports the selection of and implementation of security controls in resource-constrained settings to manage risk. Doing so requires considering adaptive adversaries with different levels of strategic sophistication…

最优化与控制 · 数学 2023-02-07 Eric B. DuBois , Ashley Peper , Laura A. Albert

Solving cybersecurity issues requires a holistic understanding of components, factors, structures and their interactions in cyberspace, but conventional modeling approaches view the field of cybersecurity by their boundaries so that we are…

密码学与安全 · 计算机科学 2020-01-17 Dingyu Yan

Quantization is a promising technique for reducing the bit-width of deep models to improve their runtime performance and storage efficiency, and thus becomes a fundamental step for deployment. In real-world scenarios, quantized models are…

机器学习 · 计算机科学 2024-04-09 Qun Li , Yuan Meng , Chen Tang , Jiacheng Jiang , Zhi Wang

Todays industrial control systems consist of tightly coupled components allowing adversaries to exploit security attack surfaces from the information technology side, and, thus, also get access to automation devices residing at the…

软件工程 · 计算机科学 2023-06-26 Mukund Bhole , Wolfgang Kastner , Thilo Sauter

We consider a strategic network monitoring problem involving the operator of a networked system and an attacker. The operator aims to randomize the placement of multiple protected sensors to monitor and protect components that are…

最优化与控制 · 数学 2023-04-11 Jezdimir Milosevic , Mathieu Dahan , Saurabh Amin , Henrik Sandberg

Detection of adversarial examples has been a hot topic in the last years due to its importance for safely deploying machine learning algorithms in critical applications. However, the detection methods are generally validated by assuming a…

计算机视觉与模式识别 · 计算机科学 2022-07-01 Federica Granese , Marine Picot , Marco Romanelli , Francisco Messina , Pablo Piantanida

As bug-finding methods improve, bug-fixing capabilities are exceeded, resulting in an accumulation of potential vulnerabilities. There is thus a need for efficient and precise bug prioritization based on exploitability. In this work, we…

密码学与安全 · 计算机科学 2025-04-02 Guilhem Lacombe , Sébastien Bardin

The landscape of adversarial attacks against text classifiers continues to grow, with new attacks developed every year and many of them available in standard toolkits, such as TextAttack and OpenAttack. In response, there is a growing body…

Penetration testing is a well-established practical concept for the identification of potentially exploitable security weaknesses and an important component of a security audit. Providing a holistic security assessment for networks…

密码学与安全 · 计算机科学 2019-01-07 Patrick Speicher , Marcel Steinmetz , Jörg Hoffmann , Michael Backes , Robert Künnemann

Enforcing security requirements in networked information systems relies on security controls to mitigate the risks from increasingly dangerous threats. Configuring security controls is challenging; even nowadays, administrators must perform…

密码学与安全 · 计算机科学 2025-01-14 Cataldo Basile , Gabriele Gatti , Francesco Settanni

Quantifying cyber risks is essential for organizations to grasp their vulnerability to threats and make informed decisions. However, current approaches still need to work on blending economic viewpoints to provide insightful analysis. To…

密码学与安全 · 计算机科学 2024-05-07 Muriel Figueredo Franco , Aiatur Rahaman Mullick , Santosh Jha

We introduce a model for multi-agent interaction problems to understand how a heterogeneous team of agents should organize its resources to tackle a heterogeneous team of attackers. This model is inspired by how the human immune system…

多智能体系统 · 计算机科学 2024-09-20 Christopher D. Hsu , Mulugeta A. Haile , Pratik Chaudhari

We provide a general methodology for analyzing defender-attacker based "games" in which we model such games as Markov models and introduce a capacity region to analyze how defensive and adversarial strategies impact security. Such a…

密码学与安全 · 计算机科学 2019-01-08 Saeed Valizadeh , Marten van Dijk

The ongoing rise in cyberattacks and the lack of skilled professionals in the cybersecurity domain to combat these attacks show the need for automated tools capable of detecting an attack with good performance. Attackers disguise their…

人工智能 · 计算机科学 2023-03-13 Arti Bandhana , Ondřej Lukáš , Sebastian Garcia , Tomáš Kroupa

Power side-channel attacks, which can deduce secret data via statistical analysis, have become a serious threat. Masking is an effective countermeasure for reducing the statistical dependence between secret data and side-channel…

密码学与安全 · 计算机科学 2019-01-29 Pengfei Gao , Hongyi Xie , Jun Zhang , Fu Song , Taolue Chen

In intrusion detection systems, classifiers still suffer from several drawbacks such as data dimensionality and dominance, different network feature types, and data impact on the classification. In this paper two significant enhancements…

密码学与安全 · 计算机科学 2012-12-12 Maher Salem , Ulrich Buehler

Agentic AI and Multi-Agent Systems are poised to dominate industry and society imminently. Powered by goal-driven autonomy, they represent a powerful form of generative AI, marking a transition from reactive content generation into…

软件工程 · 计算机科学 2025-12-29 Brian Bowers , Smita Khapre , Jugal Kalita

Nowadays, we are more and more reliant on Deep Learning (DL) models and thus it is essential to safeguard the security of these systems. This paper explores the security issues in Deep Learning and analyses, through the use of experiments,…

机器学习 · 计算机科学 2022-04-26 Marco Marchetti , Edmond S. L. Ho

Evaluating the security of cyber-physical systems throughout their life cycle is necessary to assure that they can be deployed and operated in safety-critical applications, such as infrastructure, military, and transportation. Most safety…

密码学与安全 · 计算机科学 2020-10-19 Georgios Bakirtzis , Bryan T. Carter , Carl R. Elks , Cody H. Fleming

As large language models grow in capability and agency, identifying vulnerabilities through red-teaming becomes vital for safe deployment. However, traditional prompt-engineering approaches may prove ineffective once red-teaming turns into…

人工智能 · 计算机科学 2026-02-10 Alexander Panfilov , Paul Kassianik , Maksym Andriushchenko , Jonas Geiping