Publications related to Free and open-source graphics device driver

GLeeFuzz: FuzzingWebGL Through Error Message Guided Mutation

WebGL is a set of standardized JavaScript APIs for GPU accelerated graphics. Security of the WebGL interface is paramount because it exposes remote and unsandboxed access to the underlying graphics stack (including the native GL libraries and GPU drivers) ...

Berkeley2023

FPGA-to-CPU Undervolting Attacks

Mirjana Stojilovic, Dina Gamaleldin Ahmed Shawky Mahmoud

FPGAs are proving useful and attractive for many applications, thanks to their hardware reconfigurability, low power, and high-degree of parallelism. As a result, modern embedded systems are often based on systems-on-chip (SoCs), where CPUs and FPGAs share ...

2022

Shrinking FPGA Static Power via Machine Learning-Based Power Gating and Enhanced Routing

Mirjana Stojilovic, Hossein Asadi, Zeinab Seifoori

Despite FPGAs rapidly evolving to support the requirements of the most demanding emerging applications, their high static power consumption, concentrated within the routing resources, still presents a major hurdle for low-power applications. Augmenting the ...

2021

USBFuzz: A Framework for Fuzzing USB Drivers by Device Emulation

Mathias Josef Payer, Hui Peng

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

Hardware-conscious Hash-Joins on GPUs

Anastasia Ailamaki, Periklis Chrysogelos, Panagiotis Sioulas, Manolis Karpathiotakis, Raja Appuswamy

Traditionally, analytical database engines have used task parallelism provided by modern multisocket multicore CPUs for scaling query execution. Over the past few years, GPUs have started gaining traction as accelerators for processing analytical queries d ...

IEEE2019

Milkomeda: Safeguarding the Mobile GPU Interface Using WebGL Security Checks

Mathias Josef Payer

GPU-accelerated graphics is commonly used in mobile applications. Unfortunately, the graphics interface exposes a large amount of potentially vulnerable kernel code (i.e., the GPU device driver) to untrusted applications. This broad attack surface has resu ...

ASSOC COMPUTING MACHINERY2018

A Formally Verified NAT Stack

George Candea, Solal Vincenzo Pirelli, Arseniy Zaostrovnykh

Prior work proved a stateful NAT network function to be semantically correct, crash-free, and memory safe. Their toolchain verifies the network function code while assuming the underlying kernel-bypass framework, drivers, operating system, and hardware to ...

2018

A Formally Verified NAT Stack

George Candea, Solal Vincenzo Pirelli, Arseniy Zaostrovnykh

Prior work proved a stateful NAT network function to be, crash-free, memory safe and semantically correct [29]. Their toolchain verifies the network function code while assuming the underlying kernel-bypass framework, drivers, operating system, and hardwar ...

ASSOC COMPUTING MACHINERY2018

Real-Time High-Accuracy 2D Localization with Structured Patterns

Pierre Dillenbourg, Francesco Mondada, Séverin Lemaignan, Ayberk Özgür, Lukas Oliver Hostettler

Building over algorithms previously developed for digital pens, this article introduces a novel 2D localization technique for mobile robots, based on simple printed patterns. This method combines high absolute accuracy (below 0.3mm), unlimited scalability, ...

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.

Free and open-source graphics device driver

GLeeFuzz: FuzzingWebGL Through Error Message Guided Mutation

FPGA-to-CPU Undervolting Attacks

Shrinking FPGA Static Power via Machine Learning-Based Power Gating and Enhanced Routing

USBFuzz: A Framework for Fuzzing USB Drivers by Device Emulation

Hardware-conscious Hash-Joins on GPUs

Milkomeda: Safeguarding the Mobile GPU Interface Using WebGL Security Checks

A Formally Verified NAT Stack

A Formally Verified NAT Stack

Advancing the State of Network Switch ASIC Offloading in the Linux Kernel

Real-Time High-Accuracy 2D Localization with Structured Patterns

Graph Chatbot

Chat with Graph Search

Hardware-conscious Hash-Joins on GPUs

Shrinking FPGA Static Power via Machine Learning-Based Power Gating and Enhanced Routing

USBFuzz: A Framework for Fuzzing USB Drivers by Device Emulation

Advancing the State of Network Switch ASIC Offloading in the Linux Kernel

Milkomeda: Safeguarding the Mobile GPU Interface Using WebGL Security Checks

Real-Time High-Accuracy 2D Localization with Structured Patterns

A Formally Verified NAT Stack

A Formally Verified NAT Stack