Publications related to GPS/INS Integration: From Modern Methods of Data Acquisition fo New Applications

VDMNav: Software Architecture for Aerodynamically Constrained Navigation on Small Fixed-Wing Drones

Navigation of drones is predominantly based on sensor fusion algorithms. Most of these algorithms make use of some form of Bayesian filtering with a majority employing an Extended Kalman Filter (EKF), wherein inertial measurements are fused with a Global N ...

2024

Midas: Systematic Kernel TOCTTOU Protection

Mathias Josef Payer, Atri Bhattacharyya, Uros Tesic

Double-fetch bugs are a plague across all major operating system kernels. They occur when data is fetched twice across the user/kernel trust boundary while allowing concurrent modification. Such bugs enable an attacker to illegally access memory, cause den ...

2022

NrOS: Effective Replication and Sharing in an Operating System

Sanidhya Kashyap, Ankit Bhardwaj

Writing a correct operating system kernel is notoriously hard. Kernel code requires manual memory management and type-unsafe code and must efficiently handle complex, asynchronous events. In addition, increasing CPU core counts further complicate kernel de ...

USENIX ASSOC2021

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

A Sensor Network Architecture for Digital SiPM-Based PET Systems

Edoardo Charbon, Claudio Bruschini, Francesco Gramuglia

Digital silicon photo-multipliers (SiPMs) have emerged in the recent past as a viable low cost alternative to photomultiplier tubes in positron emission tomography systems, providing multiple timestamps, energy and scintillation coordinates at high spatial ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2018

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

An Inertial Sensor-Based Method for Estimating the Athlete's Relative Joint Center Positions and Center of Mass Kinematics in Alpine Ski Racing

Kamiar Aminian, Benedikt Fasel

For the purpose of gaining a deeper understanding of the relationship between external training load and health in competitive alpine skiing, an accurate and precise estimation of the athlete's kinematics is an essential methodological prerequisite. This s ...

Frontiers Media Sa2017

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.

GPS/INS Integration: From Modern Methods of Data Acquisition fo New Applications

VDMNav: Software Architecture for Aerodynamically Constrained Navigation on Small Fixed-Wing Drones

Midas: Systematic Kernel TOCTTOU Protection

NrOS: Effective Replication and Sharing in an Operating System

USBFuzz: A Framework for Fuzzing USB Drivers by Device Emulation

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

A Sensor Network Architecture for Digital SiPM-Based PET Systems

A Formally Verified NAT Stack

A Formally Verified NAT Stack

An Inertial Sensor-Based Method for Estimating the Athlete's Relative Joint Center Positions and Center of Mass Kinematics in Alpine Ski Racing

Estimation of the centre of mass kinematics in alpine ski racing using inertial and magnetic sensors

Graph Chatbot

Chat with Graph Search

VDMNav: Software Architecture for Aerodynamically Constrained Navigation on Small Fixed-Wing Drones

An Inertial Sensor-Based Method for Estimating the Athlete's Relative Joint Center Positions and Center of Mass Kinematics in Alpine Ski Racing

A Formally Verified NAT Stack

Midas: Systematic Kernel TOCTTOU Protection

NrOS: Effective Replication and Sharing in an Operating System

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

USBFuzz: A Framework for Fuzzing USB Drivers by Device Emulation

A Formally Verified NAT Stack

Estimation of the centre of mass kinematics in alpine ski racing using inertial and magnetic sensors

A Sensor Network Architecture for Digital SiPM-Based PET Systems