Publications related to Optimizing Network Virtualization in Xen

Related publications (30)

Single-Address-Space FaaS with Jord

Madhur Kumar, Babak Falsafi, Mathias Josef Payer, Sanidhya Kashyap, Atri Bhattacharyya, Yuanlong Li, Abhishek Bhattacharjee

Function-as-a-Service (FaaS) has emerged as a popular cloud paradigm that simplifies software development and deployment by providing scalable and event-driven function execution without the burden of managing servers. FaaS was originally created with a fu ...

ACM2025

HYPERPILL: fuzzing for hypervisor-bugs by leveraging the hardware virtualization interface

Mathias Josef Payer

The security guarantees of cloud computing depend on the isolation guarantees of the underlying hypervisors. Prior works have presented effective methods for automatically identifying vulnerabilities in hypervisors. However, these approaches are limited in ...

USENIX Association2024

Secure Interface Design Leveraging Hardware/Software Support

Atri Bhattacharyya

Computer systems rely heavily on abstraction to manage the exponential growth of complexity across hardware and software. Due to practical considerations of compatibility between components of these complex systems across generations, developers have favou ...

EPFL2024

CloudProphet: A Machine Learning-Based Performance Prediction for Public Clouds

David Atienza Alonso, Marina Zapater Sancho, Ali Pahlevan, Darong Huang, Luis Maria Costero Valero

Computing servers have played a key role in developing and processing emerging compute-intensive applications in recent years. Consolidating multiple virtual machines (VMs) inside one server to run various applications introduces severe competence for limi ...

2024

SURGEON: Performant, Flexible, and Accurate Re-Hosting via Transplantation

Mathias Josef Payer, Marcel Busch, Florian Hofhammer

Dynamic analysis of microcontroller-based embedded firmware remains challenging. The general lack of source code availability for Commercial-off-the-shelf (COTS) firmware prevents powerful source-based instrumentation and prohibits compiling the firmware i ...

2024

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, ...

Institute of Electrical and Electronics Engineers Inc.2023

Performance Interfaces for Network Functions

George Candea, Aikaterini Argyraki, Rishabh Ramesh Iyer

Modern programmers routinely use third-party code, and infrastructure operators deploy software they did not write. This would not be possible without semantic interfaces---documentation, header files, specifications---that succinctly describe what that th ...

USENIX Association2022

Kernel Memory Networks: A Unifying Framework for Memory Modeling

Wulfram Gerstner, Johanni Michael Brea, Georgios Iatropoulos

We consider the problem of training a neural network to store a set of patterns with maximal noise robustness. A solution, in terms of optimal weights and state update rules, is derived by training each individual neuron to perform either kernel classifica ...

Curran Associates2022

SporTran: A code to estimate transport coefficients from the cepstral analysis of (multivariate) current time series

Loris Ercole

SporTran is a Python utility designed to estimate generic transport coefficients in extended systems, based on the Green-Kubo theory of linear response and the recently introduced cepstral analysis of the current time series generated by molecular dynamics ...

ELSEVIER2022

The concept of axial weak twins

Cyril Cayron

It is generally assumed that the parent-twin interface is a fully invariant plane. The calculations of the rational interfaces of the type I twins and irrational interfaces of the type II twins are based on this hypothesis. Recently, some asymmetric facets ...

PERGAMON-ELSEVIER SCIENCE LTD2022

On the non-existence of stepped-pressure equilibria far from symmetry

Joaquim Loizu Cisquella

The Stepped Pressure Equilibrium Code (SPEC) (Hudson et al 2012 Phys. Plasmas 19 112502) has been successful in the construction of equilibria in 3D configurations that contain a mixture of flux surfaces, islands and chaotic magnetic field lines. In this m ...

2021

An open platform for Aerosol InfraRed Spectroscopy analysis - AIRSpec

Satoshi Takahama, Matteo Reggente, Rudolf Höhn

AIRSpec is a platform consisting of several chemometric packages developed for analysis of Fourier transform infrared (FTIR) spectra of atmospheric aerosols. The packages are accessible through a browser-based interface, which also generates the necessary ...

2019

A Framework for Adaptive User Interface Generation based on User Behavioural Patterns

Kalpani Anuradha Welivita

The concept of adaptivity is crucial in enterprise software systems with a large user base. Adaptive user interfaces (AUI) is an emerging research area that enables customized user experience based on user activities. Most of the existing studies that are ...

IEEE2019

Visbrain: A Multi-Purpose GPU-Accelerated Open-Source Suite for Multimodal Brain Data Visualization

Christian O'Reilly

We present Visbrain, a Python open-source package that offers a comprehensive visualization suite for neuroimaging and electrophysiological brain data. Visbrain consists of two levels of abstraction: (1) objects which represent highly configurable neuroori ...

2019

Exoskeletons as Mechatronic Design Example

Hannes Bleuler, Mohamed Bouri, Solaiman Shokur, Jeremy Olivier, Jemina Fasola, Romain Pierre François Baud, Tristan Hubert Vouga, Amalric Louis Ortlieb

Exoskeletons are a perfect example of a mechatronics product. They illustrate the close integration and interdependence of mechanical design, drive train, sensors, control strategy and user interface. Recent developments of our lab will be discussed in det ...

SPRINGER INTERNATIONAL PUBLISHING AG2019

A system design for elastically scaling transaction processing engines in virtualized servers

Anastasia Ailamaki, Raja Appuswamy, Angelos Christos Anadiotis

Online Transaction Processing (OLTP) deployments are migrating from on-premise to cloud settings in order to exploit the elasticity of cloud infrastructure which allows them to adapt to workload variations. However, cloud adaptation comes at the cost of re ...

ASSOC COMPUTING MACHINERY2020

Specific Ion Effects at the Interface of Nanometer-Sized Droplets in Water: Structure and Stability

Sylvie Roke, Halil Ibrahim Okur, Evangelia Zdrali

The interaction of ions with interfaces influences numerous processes in chemistry, physics, and biology, while different ion species behave differently at hydrophobic or hydrophilic interfaces. Despite its importance, ion specificity and its relation to s ...

2019

USBFuzz: A Framework for Fuzzing USB Drivers by Device Emulation

Mathias Josef Payer

The Universal Serial Bus (USB) connects external devices to a host. This interface exposes the OS kernels and device drivers to attacks by malicious devices. Unfortunately, kernels and drivers were developed under a security model that implicitly trusts co ...

USENIX ASSOC2020

Characterization of a radial cylindrical spring using an electromechanical test bench

Yves Perriard, Yoan René Cyrille Civet, Jonathan André Jean-Marie Chavanne, David Moser

The Center for Artificial Muscles of EPFL in Neuchâtel focuses his research on designing a less invasive cardiac assist device based on a dielectric elastomer actuator. The idea is to place a ring around the aorta and activate it to help failing heart pump ...

2019

Synthesis of Flexible Accelerators for Early Adoption of Ring-LWE Post-quantum Cryptography

Francesco Regazzoni, Subhadeep Banik

The advent of the quantum computer makes current public-key infrastructure insecure. Cryptography community is addressing this problem by designing, efficiently implementing, and evaluating novel public-key algorithms capable of withstanding quantum comput ...

ASSOC COMPUTING MACHINERY2020