Publications related to X86 virtualization

VIDEZZO: Dependency-aware Virtual Device Fuzzing

Mathias Josef Payer, Flavio Toffalini, Qiang Liu

A virtual machine interacts with its host environment through virtual devices, driven by virtual device messages, e.g., I/O operations. By issuing crafted messages, an adversary can exploit a vulnerability in a virtual device to escape the virtual machine, ...

IEEE COMPUTER SOC2023

Enclosure: Language-Based Restriction of Untrusted Libraries

James Richard Larus, Mathias Josef Payer, Edouard Bugnion, Evangelos Marios Kogias, Adrien Ghosn

Programming languages and systems have failed to address the security implications of the increasingly frequent use of public libraries to construct modern software. Most languages provide tools and online repositories to publish, import, and use libraries ...

2021

Benchmarking, Analysis, and Optimization of Serverless Function Snapshots

Edouard Bugnion, Evangelos Marios Kogias, Boris Robert Grot, Dmitrii Ustiugov

Serverless computing has seen rapid adoption due to its high scalability and flexible, pay-as-you-go billing model. In serverless, developers structure their services as a collection of functions, sporadically invoked by various events like clicks. High in ...

2021

Self-Organized Laboratories for Smart Campus

Denis Gillet, Christophe Salzmann

A smart campus provides students who are geographically scattered with online tools to get access to learning resources and laboratories. Although these remote laboratories have the potential and capabilities to implement different learning experiments, mo ...

IEEE COMPUTER SOC2020

SoK: Shining Light on Shadow Stacks

Mathias Josef Payer, Xiangyu Zhang

Control-Flow Hijacking attacks are the dominant attack vector against C/C++ programs. Control-Flow Integrity (CFI) solutions mitigate these attacks on the forward edge, i.e., indirect calls through function pointers and virtual calls. Protecting the backwa ...

IEEE COMPUTER SOC2019

SD-WISE: A Software-Defined WIreless SEnsor network

Angelos Christos Anadiotis

In this paper we introduce SD-WISE, a Software-Defined Wireless SEnsor networking solution for Wireless Sensor (and actuator) Networks (WSNs). SD-WISE has several unique features making it a flexible and expandable solution that can be applied in heterogen ...

ELSEVIER SCIENCE BV2019

Massively parallel data processing for quantitative total flow imaging with optical coherence microscopy and tomography

Theo Lasser, Paul James Marchand, Daniel Pawel Szlag, Marcin Antoni Sylwestrzak

We present an application of massively parallel processing of quantitative flow measurements data acquired using spectral optical coherence microscopy (SOCM). The need for massive signal processing of these particular datasets has been a major hurdle for m ...

Elsevier2017

The IX Operating System: Combining Low Latency, High Throughput, and Efficiency in a Protected Dataplan

Edouard Bugnion, Christos Kozyrakis, Georgios Prekas, Mia Primorac, Ana Klimovic

The conventional wisdom is that aggressive networking requirements, such as high packet rates for small messages and μs-scale tail latency, are best addressed outside the kernel, in a user-level networking stack. We present ix, a dataplane operating system ...

Association for Computing Machinery2016

Designing a Virtual Runtime for FPGA Accelerators in the Cloud

Paolo Ienne, Mikhail Asiatici, Nithin George

FPGAs can provide high performance and energy efficiency to many applications; therefore, they are attractive computing platforms in a cloud environment. However, FPGA application development requires extensive hardware design knowledge which significantly ...

Ieee2016

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

X86 virtualization

VIDEZZO: Dependency-aware Virtual Device Fuzzing

Enclosure: Language-Based Restriction of Untrusted Libraries

Benchmarking, Analysis, and Optimization of Serverless Function Snapshots

Self-Organized Laboratories for Smart Campus

SoK: Shining Light on Shadow Stacks

SD-WISE: A Software-Defined WIreless SEnsor network

Hardware and Software Support for Virtualization

Massively parallel data processing for quantitative total flow imaging with optical coherence microscopy and tomography

The IX Operating System: Combining Low Latency, High Throughput, and Efficiency in a Protected Dataplan

Designing a Virtual Runtime for FPGA Accelerators in the Cloud

Graph Chatbot

Chat with Graph Search

Massively parallel data processing for quantitative total flow imaging with optical coherence microscopy and tomography

SoK: Shining Light on Shadow Stacks

VIDEZZO: Dependency-aware Virtual Device Fuzzing

Enclosure: Language-Based Restriction of Untrusted Libraries

Benchmarking, Analysis, and Optimization of Serverless Function Snapshots

Hardware and Software Support for Virtualization

Self-Organized Laboratories for Smart Campus

SD-WISE: A Software-Defined WIreless SEnsor network

The IX Operating System: Combining Low Latency, High Throughput, and Efficiency in a Protected Dataplan

Designing a Virtual Runtime for FPGA Accelerators in the Cloud