PaperMetrixEvidence-aware discovery
EN
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Samuel Hym

1 paper in the PaperMetrix corpus

Publications

Papers by this author

  1. End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers

    2022 · Lecture notes in computer science

    Abstract RIOT is a micro-kernel dedicated to IoT applications that adopts eBPF (extended Berkeley Packet Filters) to implement so-called femto-containers. As micro-controllers rarely feature hardware memory protection, the isolation of eBPF virtual machines (VM) is …