English
Related papers

Related papers: Quest-V: A Virtualized Multikernel for High-Confid…

200 papers

Protecting commodity operating systems and applications against malware and targeted attacks has proven to be difficult. In recent years, virtualization has received attention from security researchers who utilize it to harden existing…

Cryptography and Security · Computer Science 2014-05-26 Francesco Gadaleta , Raoul Strackx , Nick Nikiforakis , Frank Piessens , Wouter Joosen

Virtualization plays an essential role in providing security to computational systems by isolating execution environments. Many software solutions, called hypervisors, have been proposed to provide virtualization capabilities. However, only…

Cryptography and Security · Computer Science 2022-12-29 Everton de Matos , Markku Ahvenjärvi

Serverless providers strive for high resource utilization by optimizing deployment density: how many applications can be deployed per host server. However, achieving high deployment density without compromising application performance or…

Operating Systems · Computer Science 2026-04-14 Carlos Segarra , Pedro Henrique Penna , Enrique Saurez , Íñigo Goiri , Peter Pietzuch , Shan Lu , Rodrigo Fonseca

At present, the mostly used and developed mechanism is hardware virtualization which provides a common platform to run multiple operating systems and applications in independent partitions. More precisely, it is all about resource…

Hardware Architecture · Computer Science 2009-09-02 Kamanashis Biswas , Md. Ashraful Islam

The increasing complexity of autonomous systems has driven a shift to integrated heterogeneous SoCs with real-time and safety demands. Ensuring deterministic WCETs and low-latency for critical tasks requires minimizing interference on…

Hardware Architecture · Computer Science 2025-04-09 Christopher Reinwardt , Robert Balas , Alessandro Ottaviano , Angelo Garofalo , Luca Benini

Embedded systems are pervasively used in many fields nowadays. In mixed-criticality environments (automotive, industry 4.0, drones, etc.) they need to run real-time applications with certain time and safety constraints alongside a rich…

Cryptography and Security · Computer Science 2021-11-05 Flavia Caforio , Pierpaolo Iannicelli , Michele Paolino , Daniel Raho

Isolation is a critical property for shared infrastructure to limit exposure and interference among simultaneous running workloads. Cloud providers use different isolation mechanisms such as full Virtual Machines, microVMs, Linux…

Operating Systems · Computer Science 2025-07-30 Anjali , Michael M. Swift

As quantum computing systems continue to scale up and become more clustered, efficiently compiling user quantum programs into high fidelity executable sequences on real hardware remains a key challenge for current quantum compilation…

Confidential Virtual Machines (CVMs) are increasingly adopted to protect sensitive workloads from privileged adversaries such as the hypervisor. While they provide strong isolation guarantees, existing CVM architectures lack first-class…

Cryptography and Security · Computer Science 2026-05-07 Sina Abdollahi , Amir Al Sadi , David Kotz , Marios Kogias , Hamed Haddadi

The memory demand of virtual machines (VMs) is increasing, while DRAM has limited capacity and high power consumption. Non-volatile memory (NVM) is an alternative to DRAM, but it has high latency and low bandwidth. We observe that the VM…

Operating Systems · Computer Science 2022-09-28 Sai sha , Chuandong Li , Yingwei Luo , Xiaolin Wang , Zhenlin Wang

Network processing elements in virtual machines, also known as Network Function Virtualization (NFV) often face CPU bottlenecks at the virtualization interface. Even highly optimized paravirtual device interfaces fall short of the…

Operating Systems · Computer Science 2016-09-23 Piyus Kedia , Sorav Bansal

Both AMD and Intel have presented technologies for confidential computing in cloud environments. The proposed solutions - AMD SEV (-ES, -SNP) and Intel TDX - protect Virtual Machines (VMs) against attacks from higher privileged layers…

Cryptography and Security · Computer Science 2021-09-23 Felicitas Hetzelt , Martin Radev , Robert Buhren , Mathias Morbitzer , Jean-Pierre Seifert

Nowadays, industries are looking into virtualization as an effective means to build safe applications, thanks to the isolation it can provide among virtual machines (VMs) running on the same hardware. In this context, a fundamental issue is…

Cryptography and Security · Computer Science 2023-03-24 Carmine Cesarano , Marcello Cinque , Domenico Cotroneo , Luigi De Simone , Giorgio Farina

Secure container runtimes serve as the foundational layer for creating and running containers, which is the bedrock of emerging computing paradigms like microservices and serverless computing. Although existing secure container runtimes…

Networking and Internet Architecture · Computer Science 2023-10-10 Chenxingyu Zhao , Yulin Sun , Ying Xiong , Arvind Krishnamurthy

With wide spread acceptance of virtualization, virtual machines (VMs) find their presence in various applications such as Network Address Translation (NAT) servers, firewall servers and MapReduce applications. Typically, in these…

Operating Systems · Computer Science 2019-09-27 Shesha Sreenivasamurthy , Ethan Miller

Organizations run applications on cloud infrastructure shared between multiple users and organizations. Popular tooling for this shared infrastructure, including Docker and Kubernetes, supports such multi-tenancy through the use of…

Cryptography and Security · Computer Science 2026-04-20 Marina Moore , Alex Zenla

Confidential computing alleviates the concerns of distrustful customers by removing the cloud provider from their trusted computing base and resolves their disincentive to migrate their workloads to the cloud. This is facilitated by new…

Cryptography and Security · Computer Science 2024-02-26 Anna Galanou , Khushboo Bindlish , Luca Preibsch , Yvonne-Anne Pignolet , Christof Fetzer , Rüdiger Kapitza

We present the Quantum Virtual Machine (QVM), an end-to-end generic system for scalable execution of large quantum circuits with high fidelity on noisy and small quantum processors (QPUs) by leveraging gate virtualization. QVM exposes a…

Quantum Physics · Physics 2024-07-01 Nathaniel Tornow , Emmanouil Giortamis , Pramod Bhatotia

AMD SEV is a hardware extension for main memory encryption on multi-tenant systems. SEV uses an on-chip coprocessor, the AMD Secure Processor, to transparently encrypt virtual machine memory with individual, ephemeral keys never leaving the…

Cryptography and Security · Computer Science 2019-01-08 Mathias Morbitzer , Manuel Huber , Julian Horsch

We present the Virtual Quantum Device (VQD) platform, a system based on the QuEST quantum emulator. Through the use of VQDs, non-expert users can emulate specific quantum computers with detailed error models, bespoke gate sets and…

Quantum Physics · Physics 2025-02-26 Cica Gustiani , Tyson Jones , Simon C. Benjamin