中文
相关论文

相关论文: SCRAMBLE-CFI: Mitigating Fault-Induced Control-Flo…

200 篇论文

The advent of Federated Learning (FL) as a distributed machine learning paradigm has introduced new cybersecurity challenges, notably adversarial attacks that threaten model integrity and participant privacy. This study proposes an…

密码学与安全 · 计算机科学 2024-03-18 Zahir Alsulaimawi

Fault attacks against embedded circuits enabled to define many new attack paths against secure circuits. Every attack path relies on a specific fault model which defines the type of faults that the attacker can perform. On embedded…

密码学与安全 · 计算机科学 2014-02-27 Nicolas Moro , Karine Heydemann , Emmanuelle Encrenaz , Bruno Robisson

Memory corruption attacks remain the primary threat for computer security. Information flow tracking or taint analysis has been proven to be effective against most memory corruption attacks. However, there are two shortcomings with current…

密码学与安全 · 计算机科学 2015-03-13 Pankaj Kohli

Despite its ever-increasing impact, security is not considered as a design objective in commercial electronic design automation (EDA) tools. This results in vulnerabilities being overlooked during the software-hardware design process.…

密码学与安全 · 计算机科学 2023-08-08 Lennart M. Reimann , Jonathan Wiesner , Dominik Sisejkovic , Farhad Merchant , Rainer Leupers

Memory safety bugs remain in the top ranks of security vulnerabilities, even after decades of research on their detection and prevention. Various mitigations have been proposed for C/C++, ranging from language dialects to instrumentation.…

密码学与安全 · 计算机科学 2023-05-12 Konrad Hohentanner , Philipp Zieris , Julian Horsch

Low-end embedded devices are increasingly used in various smart applications and spaces. They are implemented under strict cost and energy budgets, using microcontroller units (MCUs) that lack security features available in general-purpose…

密码学与安全 · 计算机科学 2023-10-20 Adam Caulfield , Norrathep Rattanavipanon , Ivan De Oliveira Nunes

While Ethereum smart contracts enabled a wide range of blockchain applications, they are extremely vulnerable to different forms of security attacks. Due to the fact that transactions to smart contracts commonly involve cryptocurrency…

软件工程 · 计算机科学 2019-06-12 Jianbo Gao , Han Liu , Chao Liu , Qingshan Li , Zhi Guan , Zhong Chen

Information Flow Control (IFC) is a collection of techniques for ensuring a no-write-down no-read-up style security policy known as noninterference. Traditional methods for both static and dynamic IFC suffer from untenable numbers of false…

密码学与安全 · 计算机科学 2020-05-27 Maximilian Algehed , Cormac Flanagan

The design of tiny trust anchors has received significant attention over the past decade, to secure low-end MCU-s that cannot afford expensive security mechanisms. In particular, hardware/software (hybrid) co-designs offer low hardware…

密码学与安全 · 计算机科学 2020-12-16 Ivan De Oliveira Nunes , Sashidhar Jakkamsetti , Gene Tsudik

The security of logic locking has been called into question by various attacks, especially a Boolean satisfiability (SAT) based attack, that exploits scan access in a working chip. Among other techniques, a robust design-for-security (DFS)…

密码学与安全 · 计算机科学 2019-06-20 Nimisha Limaye , Abhrajit Sengupta , Mohammed Nabeel , Ozgur Sinanoglu

Dynamic program analysis is invaluable for malware detection, debugging, and performance profiling. However, software-based instrumentation incurs high overhead and can be evaded by anti-analysis techniques. In this paper, we propose…

密码学与安全 · 计算机科学 2025-10-21 Changyu Zhao , Yohan Beugin , Jean-Charles Noirot Ferrand , Quinn Burke , Guancheng Li , Patrick McDaniel

Hardware Trojans have drawn the attention of academia, industry and government agencies. Effective detection mechanisms and countermeasures against such malicious designs can only be developed when there is a deep understanding of how…

密码学与安全 · 计算机科学 2019-10-03 Samaneh Ghandali , Thorben Moos , Amir Moradi , Christof Paar

With the continuous evolution of computational devices, more and more applications are being executed remotely. The applications operate on a wide spectrum of devices, ranging from IoT nodes with low computational capabilities to large…

密码学与安全 · 计算机科学 2024-04-05 Jeferson Gonzalez-Gomez , Hassan Nassar , Lars Bauer , Jorg Henkel

Embedded devices face an ever-expanding threat landscape: vulnerabilities in application software, operating system kernels, and peripherals threaten the embedded device integrity. Existing computer-architectural defenses fully consider at…

密码学与安全 · 计算机科学 2026-03-10 Eric Ackermann , Sven Bugiel

Microarchitectural timing attacks are a type of information leakage attack, which exploit the time-shared microarchitectural components, such as caches, translation look-aside buffers (TLBs), branch prediction unit (BPU), and speculative…

密码学与安全 · 计算机科学 2022-04-14 Tuo Li , Bradley Hopkins , Sri Parameswaran

The experimental evaluation of fault-tolerance studies relies on tools that inject errors while programs are running, and then monitor the execution and the output for faulty execution. In particular, the established methodology in…

分布式、并行与集群计算 · 计算机科学 2019-08-29 Vasileios Porpodas

Software-based attacks exploit bugs or vulnerabilities to get unauthorized access or leak confidential information. Dynamic information flow tracking (DIFT) is a security technique to track spurious information flows and provide strong…

密码学与安全 · 计算机科学 2019-12-25 Luca Piccolboni , Giuseppe Di Guglielmo , Luca P. Carloni

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

Cyber Threat Intelligence (CTI) has emerged as a vital complementary approach that operates in the early phases of the cyber threat lifecycle. CTI involves collecting, processing, and analyzing threat data to provide a more accurate and…

密码学与安全 · 计算机科学 2026-05-25 Samaneh Shafee , Alysson Bessani , Pedro M. Ferreira

Today, Deep Learning (DL) enhances almost every industrial sector, including safety-critical areas. The next generation of safety standards will define appropriate verification techniques for DL-based applications and propose adequate fault…

机器学习 · 计算机科学 2020-12-15 Michael Beyer , Andrey Morozov , Emil Valiev , Christoph Schorn , Lydia Gauerhof , Kai Ding , Klaus Janschek