research
∙
11/19/2021
UEFI virtual machine firmware hardening through snapshots and attack surface reduction
The Unified Extensible Firmware Interface (UEFI) is a standardised inter...
share
research
∙
11/17/2021
Cross-platform graphics subsystem for an ARINC 653-compatible real-time operating system
In the development of modern cockpits, there is a trend towards the use ...
research
∙
06/03/2021
Dynamic Analysis of ARINC 653 RTOS with LLVM
Existing standards for airborne-embedded software systems impose a numbe...
research
∙
12/10/2020