English
Related papers

Related papers: SEVered: Subverting AMD's Virtual Machine Encrypti…

200 papers

To provide data and code confidentiality and reduce the risk of information leak from memory or memory bus, computing systems are enhanced with encryption and decryption engine. Despite massive efforts in designing hardware enhancements for…

Cryptography and Security · Computer Science 2022-08-17 Jingyao Zhang , Hoda Naghibijouybari , Elaheh Sadredini

In hardware virtualization a hypervisor provides multiple Virtual Machines (VMs) on a single physical system, each executing a separate operating system instance. The hypervisor schedules execution of these VMs much as the scheduler in an…

Distributed, Parallel, and Cluster Computing · Computer Science 2011-03-04 Fangfei Zhou , Manish Goel , Peter Desnoyers , Ravi Sundaram

Virtualization promises significant benefits in security, efficiency, dependability, and cost. Achieving these benefits depends upon the reliability of the underlying virtual machine monitors (hypervisors). This paper describes an ongoing…

Logic in Computer Science · Computer Science 2011-10-24 Mike Dahlin , Ryan Johnson , Robert Bellarmine Krug , Michael McCoyd , William Young

Virtual memory is an essential mechanism for enforcing security boundaries, but its relaxed-memory concurrency semantics has not previously been investigated in detail. The concurrent systems code managing virtual memory has been left on an…

Hardware Architecture · Computer Science 2022-03-02 Ben Simner , Alasdair Armstrong , Jean Pichon-Pharabod , Christopher Pulte , Richard Grisenthwaite , Peter Sewell

Modern operating systems manage and abstract hardware resources, to ensure efficient execution of user workloads. The operating system must securely interface with often untrusted user code while relying on hardware that is assumed to be…

Cryptography and Security · Computer Science 2024-11-04 Rick Wertenbroek , Alberto Dassatti

In modern computer systems, user processes are isolated from each other by the operating system and the hardware. Additionally, in a cloud scenario it is crucial that the hypervisor isolates tenants from other tenants that are co-located on…

Cryptography and Security · Computer Science 2019-05-23 Michael Schwarz , Samuel Weiser , Daniel Gruss , Clémentine Maurice , Stefan Mangard

Modern virtualized service infrastructures expose attack vectors that enable attacks of high severity, such as attacks targeting hypervisors. A malicious user of a guest VM (virtual machine) may execute an attack against the underlying…

Cryptography and Security · Computer Science 2014-10-07 Aleksandar Milenkoski , Marco Vieira , Bryan D. Payne , Nuno Antunes , Samuel Kounev

Edge AI inference is becoming prevalent thanks to the emergence of small yet high-performance microprocessors. This shift from cloud to edge processing brings several benefits in terms of energy savings, improved latency, and increased…

Cryptography and Security · Computer Science 2025-12-23 Nuntipat Narkthong , Xiaolin Xu

Adversarial attack has garnered considerable attention due to its profound implications for the secure deployment of robots in sensitive security scenarios. To potentially push for advances in the field, this paper studies the adversarial…

Cryptography and Security · Computer Science 2024-07-17 Mingyuan Fan , Yang Liu , Cen Chen , Ximeng Liu

Windows OS is facing a huge rise in kernel attacks. An overview of popular techniques that result in loading kernel drivers will be presented. One of the key targets of modern threats is disabling and blinding Microsoft Defender, a default…

Cryptography and Security · Computer Science 2022-10-07 Denis Pogonin , Igor Korkin

Hardware-enclaves that target complex CPU designs compromise both security and performance. Programs have little control over micro-architecture, which leads to side-channel leaks, and then have to be transformed to have worst-case control-…

Cryptography and Security · Computer Science 2020-07-16 Sarbartha Banerjee , Prakash Ramrakhyani , Shijia Wei , Mohit Tiwari

Decrypting and inspecting encrypted malicious communications may assist crime detection and prevention. Access to client or server memory enables the discovery of artefacts required for decrypting secure communications. This paper develops…

Cryptography and Security · Computer Science 2019-07-26 Peter McLaren , Gordon Russell , William J. Buchanan , Zhiyuan Tan

This paper shows how an attacker can break the confidentiality of a hardware enclave with Membuster, an off-chip attack based on snooping the memory bus. An attacker with physical access can observe an unencrypted address bus and extract…

Cryptography and Security · Computer Science 2019-12-05 Dayeol Lee , Dongha Jung , Ian T. Fang , Chia-Che Tsai , Raluca Ada Popa

Confidential Virtual Machines (CVMs) provide isolation guarantees for data in use, but their threat model does not include physical level protection and side-channel attacks. Therefore, current deployments rely on trusted cloud providers to…

Cryptography and Security · Computer Science 2025-06-19 Filip Rezabek , Jonathan Passerat-Palmbach , Moe Mahhouk , Frieder Erdmann , Andrew Miller

Support Vector Machines (SVMs) are among the most popular classification techniques adopted in security applications like malware detection, intrusion detection, and spam filtering. However, if SVMs are to be incorporated in real-world…

Malicious server (MS) attacks have enabled the scaling of data stealing in federated learning to large batch sizes and secure aggregation, settings previously considered private. However, many concerns regarding the client-side…

Cryptography and Security · Computer Science 2024-04-16 Kostadin Garov , Dimitar I. Dimitrov , Nikola Jovanović , Martin Vechev

Machine learning algorithms are increasingly being applied in security-related tasks such as spam and malware detection, although their security properties against deliberate attacks have not yet been widely understood. Intelligent and…

Machine Learning · Computer Science 2022-06-02 Huang Xiao , Battista Biggio , Blaine Nelson , Han Xiao , Claudia Eckert , Fabio Roli

Existing anti-malware software and reverse engineering toolkits struggle with stealthy sub-OS rootkits due to limitations of run-time kernel-level monitoring. A malicious kernel-level driver can bypass OS-level anti-virus mechanisms easily.…

A privacy-preserving support vector machine (SVM) computing scheme is proposed in this paper. Cloud computing has been spreading in many fields. However, the cloud computing has some serious issues for end users, such as the unauthorized…

Cryptography and Security · Computer Science 2020-01-08 Takahiro Maekawa , Ayana Kawamura , Takayuki Nakachi , Hitoshi Kiya

Searchable symmetric encryption (SSE) allows the data owner to outsource an encrypted database to a remote server in a private manner while maintaining the ability for selectively search. So far, most existing solutions focus on an…

Cryptography and Security · Computer Science 2019-09-23 Shengshan Hu , Chengjun Cai , Qian Wang , Cong Wang , Minghui Li , Zhibo Wang , Dengpan Ye