中文
相关论文

相关论文: A Golden-Free Formal Method for Trojan Detection i…

200 篇论文

Quantum computing has demonstrated superior efficiency compared to classical computing. Quantum circuits are essential for implementing functions and achieving correct computational outcomes. Quantum circuit compilers, which translate…

量子物理 · 物理学 2025-02-14 Jayden John , Lakshman Golla , Qian Wang

Ethereum smart contracts are programs that can be collectively executed by a network of mutually untrusted nodes. Smart contracts handle and transfer assets of values, offering strong incentives for malicious attacks. Intrusion attacks are…

软件工程 · 计算机科学 2019-11-28 Xinming Wang , Jiahao He , Zhijian Xie , Gansen Zhao , Shing-Chi Cheung

Cryptomining poses significant security risks, yet traditional detection methods like blacklists and Deep Packet Inspection (DPI) are often ineffective against encrypted mining traffic and suffer from high false positive rates. In this…

密码学与安全 · 计算机科学 2026-02-12 Ruisheng Shi , Ziding Lin , Haoran Sun , Qin Wang , Shihan Zhang , Lina Lan , Zhiyuan Peng , Chenfeng Wang

The increasing complexity and cost of manufacturing monolithic chips have driven the semiconductor industry toward chiplet-based designs, where smaller and modular chiplets are integrated onto a single interposer. While chiplet…

密码学与安全 · 计算机科学 2025-04-29 Saleh Khalaj Monfared , Maryam Saadat Safa , Shahin Tajik

A trojan backdoor is a hidden pattern typically implanted in a deep neural network. It could be activated and thus forces that infected model behaving abnormally only when an input data sample with a particular trigger present is fed to…

密码学与安全 · 计算机科学 2019-08-12 Wenbo Guo , Lun Wang , Xinyu Xing , Min Du , Dawn Song

We present new analytic techniques for inferring HTTP semantics from passive observations of HTTPS that can infer the value of important fields including the status-code, Content-Type, and Server, and the presence or absence of several…

密码学与安全 · 计算机科学 2018-05-30 Blake Anderson , Andrew Chi , Scott Dunlop , David McGrew

Advanced Persistent Threats (APTs) pose a significant security risk to organizations and industries. These attacks often lead to severe data breaches and compromise the system for a long time. Mitigating these sophisticated attacks is…

密码学与安全 · 计算机科学 2025-08-04 Ehsan Hallaji , Roozbeh Razavi-Far , Mehrdad Saif

In the quantum version of a Trojan-horse attack, photons are injected into the optical modules of a quantum key distribution system in an attempt to read information direct from the encoding devices. To stop the Trojan photons, the use of…

Deep neural networks are known to have security issues. One particular threat is the Trojan attack. It occurs when the attackers stealthily manipulate the model's behavior through Trojaned training samples, which can later be exploited.…

机器学习 · 计算机科学 2021-06-14 Songzhu Zheng , Yikai Zhang , Hubert Wagner , Mayank Goswami , Chao Chen

The security of deep neural networks (DNNs) has attracted increasing attention due to their widespread use in various applications. Recently, the deployed DNNs have been demonstrated to be vulnerable to Trojan attacks, which manipulate…

计算机视觉与模式识别 · 计算机科学 2022-07-28 Jiawang Bai , Kuofeng Gao , Dihong Gong , Shu-Tao Xia , Zhifeng Li , Wei Liu

Malware detection using Hardware Performance Counters (HPCs) offers a promising, low-overhead approach for monitoring program behavior. However, a fundamental architectural constraint, that only a limited number of hardware events can be…

密码学与安全 · 计算机科学 2026-02-10 Eli Propp , Seyed Majid Zahedi

We propose a novel hierarchical online intrusion detection system (HOIDS) for supervisory control and data acquisition (SCADA) networks based on machine learning algorithms. By utilizing the server-client topology while keeping clients…

密码学与安全 · 计算机科学 2016-11-30 Hongrui Wang , Tao Lu , Xiaodai Dong , Peixue Li , Michael Xie

Despite their success and popularity, deep neural networks (DNNs) are vulnerable when facing backdoor attacks. This impedes their wider adoption, especially in mission critical applications. This paper tackles the problem of Trojan…

计算机视觉与模式识别 · 计算机科学 2022-04-05 Xiaoling Hu , Xiao Lin , Michael Cogswell , Yi Yao , Susmit Jha , Chao Chen

Fault-tolerant routing (FTR) in Networks-on-Chip (NoCs) has become a common practice to sustain the performance of multi-core systems with an increasing number of faults on a chip. On the other hand, usage of third-party intellectual…

硬件体系结构 · 计算机科学 2019-08-02 N Prasad , Navonil Chatterjee , Santanu Chattopadhyay , Indrajit Chakrabarti

Emerging self-supervised learning (SSL) has become a popular image representation encoding method to obviate the reliance on labeled data and learn rich representations from large-scale, ubiquitous unlabelled data. Then one can train a…

计算机视觉与模式识别 · 计算机科学 2023-01-25 Jiaqi Xue , Qian Lou

Security vulnerability analysis of Integrated Circuits using conventional design-time validation and verification techniques (like simulations, emulations, etc.) is generally a computationally intensive task and incomplete by nature,…

密码学与安全 · 计算机科学 2021-04-22 Faiq Khalid , Imran Hafeez Abbassi , Semeen Rehman , Awais Mehmood Kamboh , Osman Hasan , Muhammad Shafique

The rapid proliferation of deep learning has revolutionized computing hardware, driving innovations to improve computationally expensive multiply-and-accumulate operations in deep neural networks. Among these innovations are integrated…

密码学与安全 · 计算机科学 2024-11-27 Salma Afifi , Ishan Thakkar , Sudeep Pasricha

With the evolution of blockchain technology, the issue of transaction security, particularly on platforms like Ethereum, has become increasingly critical. Front-running attacks, a unique form of security threat, pose significant challenges…

密码学与安全 · 计算机科学 2023-11-27 Yuheng Zhang , Pin Liu , Guojun Wang , Peiqiang Li , Wanyi Gu , Houji Chen , Xuelei Liu , Jinyao Zhu

Attacks targeting software on embedded systems are becoming increasingly prevalent. Remote attestation is a mechanism that allows establishing trust in embedded devices. However, existing attestation schemes are either static and cannot…

密码学与安全 · 计算机科学 2018-10-04 Ghada Dessouky , Shaza Zeitouni , Thomas Nyman , Andrew Paverd , Lucas Davi , Patrick Koeberl , N. Asokan , Ahmad-Reza Sadeghi

The rise of the industrial metaverse has brought digital twins (DTs) to the forefront. Blockchain-powered non-fungible tokens (NFTs) offer a decentralized approach to creating and owning these cloneable DTs. However, the potential for…

密码学与安全 · 计算机科学 2024-12-23 Ravi Prakash , Tony Thomas