10 citations · 13 across the 5 of their papers we have counts for
5 papers
vNV-Heap: An Ownership-Based Virtually Non-Volatile Heap for Embedded Systems
Markus Elias Gerber, Luis Gerhorst, Ishwar Mudraje +3
The Internet of Batteryless Things might revolutionize our understanding of connected devices by harvesting required operational energy from the environment. These systems come wit…
Reverse Engineering the ESP32-C3 Wi-Fi Drivers for Static Worst-Case Analysis of Intermittently-Powered Systems
Ishwar Mudraje, Kai Vogelgesang, Jasper Devreker +4
The Internet of Batteryless Things revolutionizes sustainable communication as it operates on harvested energy. This harvested energy is dependent on unpredictable environmental co…
VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions
Luis Gerhorst, Henriette Herzog, Peter Wägemann +3
High-performance IO demands low-overhead communication between user- and kernel space. This demand can no longer be fulfilled by traditional system calls. Linux's extended Berkeley…
Migration-Based Synchronization
Stefan Reif, Phillip Raffeck, Luis Gerhorst +2
A fundamental challenge in multi- and many-core systems is the correct execution of concurrent access to shared data. A common drawback from existing synchronization mechanisms is…
AnyCall: Fast and Flexible System-Call Aggregation
Luis Gerhorst, Benedict Herzog, Stefan Reif +2
Operating systems rely on system calls to allow the controlled communication of isolated processes with the kernel and other processes. Every system call includes a processor mode…