4 citations · 4 across the 1 of their papers we have counts for
2 papers
cs.SE2021★ 4 cited
Dynamic Analysis of ARINC 653 RTOS with LLVM
Vitaly Cheptsov, Alexey Khoroshilov
Existing standards for airborne-embedded software systems impose a number of requirements applicable to the software development cycle of hard real-time operating systems found in…
cs.CR2020
Securing the EDK II Image Loader
Marvin Häuser, Vitaly Cheptsov
The Unified Extensible Firmware Interface (UEFI) is a standardised interface between the firmware and the operating system used in all x86-based platforms over the past ten years,…