2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.NI2025
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…
cs.CR2024★ 2 cited
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…