中文
相关论文

相关论文: Formally Discovering and Reproducing Network Proto…

200 篇论文

The existence of adversarial attacks on convolutional neural networks (CNN) questions the fitness of such models for serious applications. The attacks manipulate an input image such that misclassification is evoked while still looking…

计算机视觉与模式识别 · 计算机科学 2022-08-25 Mohammadreza Amirian , Friedhelm Schwenker , Thilo Stadelmann

Smart contract vulnerability detection draws extensive attention in recent years due to the substantial losses caused by hacker attacks. Existing efforts for contract security analysis heavily rely on rigid rules defined by experts, which…

密码学与安全 · 计算机科学 2021-07-27 Zhenguang Liu , Peng Qian , Xiaoyang Wang , Yuan Zhuang , Lin Qiu , Xun Wang

Remarkable successes were made in Medical Image Classification (MIC) recently, mainly due to wide applications of convolutional neural networks (CNNs). However, adversarial examples (AEs) exhibited imperceptible similarity with raw data,…

图像与视频处理 · 电气工程与系统科学 2024-03-12 Shuai Li , Xiaoguang Ma , Shancheng Jiang , Lu Meng

Cybersecurity research increasingly depends on reproducible evidence, such as traffic traces, logs, and labeled datasets, yet most public datasets remain static and offer limited support for controlled re-execution and traceability,…

密码学与安全 · 计算机科学 2026-04-07 Leonardo Bitzki , Diego Kreutz , Tiago Heinrich , Douglas Fideles , Leandro Bertholdo , Silvio Quincozes , Angelo Diniz

Web attacks, i.e. attacks exclusively using the HTTP protocol, are rapidly becoming one of the fundamental threats for information systems connected to the Internet. When the attacks suffered by web servers through the years are analyzed,…

密码学与安全 · 计算机科学 2007-05-23 Gonzalo Alvarez , Slobodan Petrovic

Implementations of network protocols are often prone to vulnerabilities caused by developers' mistakes when accessing memory regions and dealing with arithmetic operations. Finding practical approaches for checking the security of network…

密码学与安全 · 计算机科学 2020-01-28 Kaled Alshmrany , Lucas Cordeiro

In this paper we propose a novel way of deploying vulnerable architectures for defense and research purposes, which aims to generate deception platforms based on the formal description of a scenario. An attack scenario is described by an…

密码学与安全 · 计算机科学 2023-03-31 Pierre-Victor Besson , Valérie Viet Triem Tong , Gilles Guette , Guillaume Piolle , Erwan Abgrall

Cyber attacks are becoming more sophisticated and diverse, making detection increasingly challenging. To combat these attacks, security practitioners actively summarize and exchange their knowledge about attacks across organizations in the…

密码学与安全 · 计算机科学 2022-05-31 Zhenyuan Li , Jun Zeng , Yan Chen , Zhenkai Liang

Advanced Persistent Threats (APTs) pose a major cybersecurity challenge due to their stealth and ability to mimic normal system behavior, making detection particularly difficult in highly imbalanced datasets. Traditional anomaly detection…

密码学与安全 · 计算机科学 2025-02-14 Sidahmed Benabderrahmane , Petko Valtchev , James Cheney , Talal Rahwan

This paper is devoted to measuring the security of cyber networks under advanced persistent threats (APTs). First, an APT-based cyber attack-defense process is modeled as an individual-level dynamical system. Second, the dynamic model is…

密码学与安全 · 计算机科学 2017-07-13 Lu-Xing Yang , Pengdeng Li , Xiaofan Yang , Luosheng Wen , Yingbo Wu , Yuan Yan Tang

Characterizing attacker behavior with respect to Cyber-Physical Systems is important to assuring the security posture and resilience of these systems. Classical cyber vulnerability assessment approaches rely on the knowledge and experience…

密码学与安全 · 计算机科学 2021-03-18 Christopher Deloglos , Carl Elks , Ashraf Tantawy

This paper proposes FractalNet, a framework based on fractal design principles that automatically generates and evaluates convolutional neural network (CNN) architectures using recursive template patterns. Rather than relying on…

机器学习 · 计算机科学 2026-05-19 Yash Mittal , Dmitry Ignatov , Radu Timofte

Deep neural networks (DNNs) are known to be vulnerable to adversarial attacks even under a black-box setting where the adversary can only query the model. Particularly, query-based black-box adversarial attacks estimate adversarial…

计算机视觉与模式识别 · 计算机科学 2024-08-06 Xin Wang , Kai Chen , Xingjun Ma , Zhineng Chen , Jingjing Chen , Yu-Gang Jiang

The accelerated development of social media websites has posed intricate security issues in cyberspace, where these sites have increasingly become victims of criminal activities including attempts to intrude into them, abnormal traffic…

机器学习 · 计算机科学 2026-01-07 Aditi Sanjay Agrawal

The rapid advancement of information technology has introduced a noticeable shift from traditional offline practices to more efficient and interconnected online environments. This transition, while offering convenience, has also increased…

密码学与安全 · 计算机科学 2026-05-20 Mohammed Mahir Rahman , Shahzad Memon , Tauseef Ahmed , Ameer Al-Nemrat

In modelling complex systems with graph grammars (GGs), it is convenient to restrict the application of rules using attribute constraints and negative application conditions (NACs). However, having both attributes and NACs in GGs renders…

计算机科学中的逻辑 · 计算机科学 2020-12-07 Andrea Corradini , Maryam Ghaffari Saadat , Reiko Heckel

In a multi-hop mobile ad hoc network (MANET) mobile nodes communicate with each other forming a cooperative radio network. Security remains a major challenge for these networks due to their features of open medium, dynamically changing…

密码学与安全 · 计算机科学 2010-10-26 Jaydip Sen

Adversarial attacks, wherein slight inputs are carefully crafted to mislead intelligent models, have attracted increasing attention. However, a critical gap persists between theoretical advancements and practical application, particularly…

密码学与安全 · 计算机科学 2025-06-26 Sabrine Ennaji , Elhadj Benkhelifa , Luigi V. Mancini

Eliminating vulnerabilities from low-level code is vital for securing software. Static analysis is a promising approach for discovering vulnerabilities since it can provide developers early feedback on the code they write. But, it presents…

密码学与安全 · 计算机科学 2016-04-07 Bhargava Shastry , Fabian Yamaguchi , Konrad Rieck , Jean-Pierre Seifert

Recent developments in neural architecture search (NAS) emphasize the significance of considering robust architectures against malicious data. However, there is a notable absence of benchmark evaluations and theoretical guarantees for…

机器学习 · 计算机科学 2024-03-21 Yongtao Wu , Fanghui Liu , Carl-Johann Simon-Gabriel , Grigorios G Chrysos , Volkan Cevher