Securing the EDK II Image Loader. - Marvin Häuser; Vitaly Cheptsov (CoRR, 2020)

Dynamic Analysis of ARINC 653 RTOS with LLVM. - Vitaly Cheptsov; Alexey Khoroshilov (CoRR, 2021)

Cross-platform graphics subsystem for an ARINC 653-compatible real-time operating system. - Maksim Raenchuk; Vitaly Cheptsov; Alexey Khoroshilov (CoRR, 2021)

UEFI virtual machine firmware hardening through snapshots and attack surface reduction. - Mikhail Krichanov; Vitaly Cheptsov (CoRR, 2021)

Robust Resource Partitioning Approach for ARINC 653 RTOS. - Vitaly Cheptsov; Alexey Khoroshilov (CoRR, 2023)