中文
相关论文

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

200 篇论文

As various forms of fraud proliferate on Ethereum, it is imperative to safeguard against these malicious activities to protect susceptible users from being victimized. While current studies solely rely on graph-based fraud detection…

密码学与安全 · 计算机科学 2023-11-01 Sihao Hu , Zhen Zhang , Bingqiao Luo , Shengliang Lu , Bingsheng He , Ling Liu

Internet of Things connects lots of small constrained devices to the Internet. As in any other environment, communication security is important and cryptographic algorithms are one of many elements that we use in order to keep messages…

密码学与安全 · 计算机科学 2017-02-28 Jakub Breier , Wei He

Deep neural networks (DNNs) remain critically vulnerable to backdoor attacks. Existing post-training detectors often require clean or surrogate data, gradients, or iterative trigger reconstruction, leading to high computational costs and…

密码学与安全 · 计算机科学 2026-05-20 Yinbo Yu , Xueyu Yin , Jing Fang , Chunwei Tian , Qi Zhu , Jiajia Liu , Daoqiang Zhang

Recently, Haider et al. introduced the first rigorous hardware Trojan detection algorithm called HaTCh. The foundation of HaTCh is a formal framework of hardware Trojan design, which formally characterizes all the hardware Trojans based on…

密码学与安全 · 计算机科学 2018-10-08 Syed Kamran Haider , Chenglu Jin , Marten van Dijk

The Hardware Trojan (HT) problem can be thought of as a continuous game between attackers and defenders, each striving to outsmart the other by leveraging any available means for an advantage. Machine Learning (ML) has recently played a key…

密码学与安全 · 计算机科学 2024-12-10 Amin Sarihi , Peter Jamieson , Ahmad Patooghy , Abdel-Hameed A. Badawy

Malware and cheat developers use fileless execution techniques to evade traditional, signature-based security products. These methods include various types of manual mapping, module stomping, and threadless injection which work entirely…

密码学与安全 · 计算机科学 2025-08-07 Arjun Juneja

Deep learning architectures (DLA) have shown impressive performance in computer vision, natural language processing and so on. Many DLA make use of cloud computing to achieve classification due to the high computation and memory…

密码学与安全 · 计算机科学 2021-01-28 Tolulope A. Odetola , Hawzhin Raoof Mohammed , Syed Rafay Hasan

Large Language Models (LLMs) have demonstrated remarkable capabilities in various domains, but their vulnerability to trojan or backdoor attacks poses significant security risks. This paper explores the challenges and insights gained from…

计算与语言 · 计算机科学 2024-04-23 Narek Maloyan , Ekansh Verma , Bulat Nutfullin , Bislan Ashinov

Deep Neural Networks (DNNs) have been shown to be susceptible to Trojan attacks. Neural Trojan is a type of targeted poisoning attack that embeds the backdoor into the victim and is activated by the trigger in the input space. The…

机器学习 · 计算机科学 2022-08-11 Diego Garcia-soto , Huili Chen , Farinaz Koushanfar

Federated real-time object detection using transformers in Intelligent Transportation Systems (ITS) faces three major challenges: (1) missing-class non-IID data heterogeneity from geographically diverse traffic environments, (2) latency…

密码学与安全 · 计算机科学 2026-01-21 Mohoshin Ara Tahera , Sabbir Rahman , Shuvalaxmi Dass , Sharif Ullah , Mahmoud Abouyessef

With ever advancing in digital system, security has been emerged as a major concern. Many researchers all around the world come up with solutions to address various challenges that are crucial for industry and market. The aim of this survey…

密码学与安全 · 计算机科学 2018-01-03 Payman Behnam

Advanced Persistent Threats (APTs) are sophisticated, targeted cyberattacks designed to gain unauthorized access to systems and remain undetected for extended periods. To evade detection, APT cyberattacks deceive defense layers with…

密码学与安全 · 计算机科学 2024-06-28 Sidahmed Benabderrahmane , Ngoc Hoang , Petko Valtchev , James Cheney , Talal Rahwan

We introduce a new class of hardware trojans called interrupt-resilient trojans (IRTs). Our work is motivated by the observation that hardware trojan attacks on CPUs, even under favorable attack scenarios (e.g., an attacker with local…

密码学与安全 · 计算机科学 2024-05-06 Athanasios Moschos , Fabian Monrose , Angelos D. Keromytis

As large language models (LLMs) are increasingly fine-tuned for hardware tasks like RTL code generation, the scarcity of high-quality datasets often leads to the use of rapidly assembled or generated training data. These datasets frequently…

密码学与安全 · 计算机科学 2026-05-01 Mahshid Rezakhani , Nowfel Mashnoor , Kimia Azar , Hadi Kamali

Multi-stage threats like advanced persistent threats (APT) pose severe risks by stealing data and destroying infrastructure, with detection being challenging. APTs use novel attack vectors and evade signature-based detection by obfuscating…

密码学与安全 · 计算机科学 2024-06-21 Florian Nelles , Abbas Yazdinejad , Ali Dehghantanha , Reza M. Parizi , Gautam Srivastava

Analog and mixed-signal (A/MS) integrated circuits (ICs) are integral to safety-critical applications. However, the globalization and outsourcing of A/MS ICs to untrusted third-party foundries expose them to security threats, particularly…

密码学与安全 · 计算机科学 2025-05-13 Jayeeta Chaudhuri , Arjun Chaudhuri , Krishnendu Chakrabarty

The design of Systems on Chips (SoCs) is becoming more and more complex due to technological advancements. Missed bugs can cause drastic failures in safety-critical environments leading to the endangerment of lives. To overcome these…

硬件体系结构 · 计算机科学 2024-10-25 Bryan Olmos , Daniel Gerl , Aman Kumar , Djones Lettnin

Virtual Trusted Platform modules (TPMs) were proposed as a software-based alternative to the hardware-based TPMs to allow the use of their cryptographic functionalities in scenarios where multiple TPMs are required in a single platform,…

密码学与安全 · 计算机科学 2013-08-08 Sami Alsouri , Thomas Feller , Sunil Malipatlolla , Stefan Katzenbeisser

Internet has played a vital role in this modern world, the possibilities and opportunities offered are limitless. Despite all the hype, Internet services are liable to intrusion attack that could tamper the confidentiality and integrity of…

密码学与安全 · 计算机科学 2009-06-23 M. A. Faizal , M. Mohd Zaki , S. Shahrin , Y. Robiah , S. Siti Rahayu , B. Nazrulazhar

Outsourcing integrated circuit (IC) manufacturing to offshore foundries has grown exponentially in recent years. Given the critical role of ICs in the control and operation of vehicular systems and other modern engineering designs, such…

信息论 · 计算机科学 2017-03-23 Walid Saad , Anibal Sanjab , Yunpeng Wang , Charles Kamhoua , Kevin Kwiat