中文
相关论文

相关论文: Constant time encryption as a countermeasure again…

200 篇论文

We propose a novel approach to improving software security called Cryptographic Path Hardening, which is aimed at hiding security vulnerabilities in software from attackers through the use of provably secure and obfuscated cryptographic…

软件工程 · 计算机科学 2012-02-03 Vijay Ganesh , Michael Carbin , Martin Rinard

Deep neural networks have become widely used, obtaining remarkable results in domains such as computer vision, speech recognition, natural language processing, audio recognition, social network filtering, machine translation, and…

神经与进化计算 · 计算机科学 2020-02-03 Divya Gopinath , Guy Katz , Corina S. Pasareanu , Clark Barrett

A new memory coherence protocol, Tardis, is proposed. Tardis uses timestamp counters representing logical time as well as physical time to order memory operations and enforce sequential consistency in any type of shared memory system.…

分布式、并行与集群计算 · 计算机科学 2015-09-25 Xiangyao Yu , Srinivas Devadas

A precise and secure time synchronization is the backbone of both fundamental physics and advanced technologies. Despite ultra-high precision, security, particularly the unresolved vulnerabilities on physical links beyond traditional…

光学 · 物理学 2025-12-16 Zishuo Ren , Yiting Lin , Yufei Zhang , Yang Li , Ziyang Chen , Hong Guo

Security of embedded computing systems is becoming of paramount concern as these devices become more ubiquitous, contain personal information and are increasingly used for financial transactions. Security attacks targeting embedded systems…

硬件体系结构 · 计算机科学 2015-11-09 Roshan G. Ragel , Jude A. Ambrose , Sri Parameswaran

Reading and writing memory are, besides computation, the most common operations a processor performs. The correctness of these operations is therefore essential for the proper execution of any program. However, as soon as fault attacks are…

密码学与安全 · 计算机科学 2018-09-25 Robert Schilling , Mario Werner , Pascal Nasahl , Stefan Mangard

Recent research has demonstrated that Intel's SGX is vulnerable to software-based side-channel attacks. In a common attack, the adversary monitors CPU caches to infer secret-dependent data accesses patterns. Known defenses have major…

Trusted execution environments (TEEs) protect the integrity and confidentiality of running code and its associated data. Nevertheless, TEEs' integrity protection does not extend to the state saved on disk. Furthermore, modern cloud-native…

密码学与安全 · 计算机科学 2024-08-16 Ardhi Putra Pratama Hartono , Andrey Brito , Christof Fetzer

Many design companies have gone fabless and rely on external fabrication facilities to produce chips due to increasing cost of semiconductor manufacturing. However, not all of these facilities can be considered trustworthy; some may inject…

密码学与安全 · 计算机科学 2024-10-01 Kevin Kwiat , Jason Kulick , Paul Ratazzi

With the Increasing use of Machine Learning in Android applications, more research and efforts are being put into developing better-performing machine learning algorithms with a vast amount of data. Along with machine learning for mobile…

密码学与安全 · 计算机科学 2021-09-22 Aryan Verma

With the rapid development of general cloud services, more and more individuals or collectives use cloud platforms to store data. Assured data deletion deserves investigation in cloud storage. In time-sensitive data storage scenarios, it is…

密码学与安全 · 计算机科学 2022-05-05 Zhengyu Yue , Yuanzhi Yao , Weihai Li , Nenghai Yu

Coded caching is an efficient way to reduce network traffic congestion during peak hours by storing some content at the user's local cache memory without knowledge of later demands. The goal of coded caching design is to minimize the…

信息论 · 计算机科学 2020-05-05 Minquan Cheng , Dequan Liang , Ruizhong Wei

Cache side-channel attacks exhibit severe threats to software security and privacy, especially for cryptosystems. In this paper, we propose CaType, a novel refinement type-based tool for detecting cache side channels in crypto software.…

密码学与安全 · 计算机科学 2022-10-20 Ke Jiang , Yuyan Bao , Shuai Wang , Zhibo Liu , Tianwei Zhang

The information theoretically secure Kirchhoff-law-Johnson-noise (KLJN) key exchange scheme, similarly to quantum key distribution (QKD), is also potentially vulnerable against clock attacks, where Eve takes over the control of clock…

密码学与安全 · 计算机科学 2022-07-15 Laszlo B. Kish

Deep learning-based malware detection systems are vulnerable to adversarial EXEmples - carefully-crafted malicious programs that evade detection with minimal perturbation. As such, the community is dedicating effort to develop mechanisms to…

密码学与安全 · 计算机科学 2024-05-02 Daniel Gibert , Luca Demetrio , Giulio Zizzo , Quan Le , Jordi Planes , Battista Biggio

This paper addresses the problem of distributed resilient state estimation and control for linear time-invariant systems in the presence of malicious false data injection sensor attacks and bounded noise. We consider a system operator…

系统与控制 · 电气工程与系统科学 2025-07-17 Takumi Shinohara , Karl H. Johansson , Henrik Sandberg

Website fingerprinting attacks, which use statistical analysis on network traffic to compromise user privacy, have been shown to be effective even if the traffic is sent over anonymity-preserving networks such as Tor. The classical attack…

密码学与安全 · 计算机科学 2019-02-22 Anatoly Shusterman , Lachlan Kang , Yarden Haskal , Yosef Meltser , Prateek Mittal , Yossi Oren , Yuval Yarom

Trusted execution environments (TEEs) offer hardware-assisted means to protect code and data. However, as shown in numerous results over the years, attackers can use side-channels to leak data access patterns and even single-step the code.…

密码学与安全 · 计算机科学 2025-09-24 Jan Wichelmann , Anja Rabich , Anna P"atschke , Thomas Eisenbarth

Side-channel information leakage is a known limitation of SGX. Researchers have demonstrated that secret-dependent information can be extracted from enclave execution through page-fault access patterns. Consequently, various recent research…

密码学与安全 · 计算机科学 2017-02-27 Ferdinand Brasser , Urs Müller , Alexandra Dmitrienko , Kari Kostiainen , Srdjan Capkun , Ahmad-Reza Sadeghi

Reversible Data Hiding in Encrypted Domain (RDHED) is an innovative method that can keep cover information secret and allows the data hider to insert additional information into it. This article presents a novel data hiding technique in an…

密码学与安全 · 计算机科学 2022-12-27 Asad Malik , Aeyan Ashraf , Hanzhou Wu , Minoru Kuribayashi