4 citations · 9 across the 5 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.SE2021
UEFI virtual machine firmware hardening through snapshots and attack surface reduction
Mikhail Krichanov, 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.…
cs.SE2021
Cross-platform graphics subsystem for an ARINC 653-compatible real-time operating system
Maksim Raenchuk, Vitaly Cheptsov, Alexey Khoroshilov
In the development of modern cockpits, there is a trend towards the use of large displays that combine information about air navigation and the status of aircraft equipment. Flight…
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…