Виталий Чепцов, архитектор операционных систем в ИСП РАН. Занимается встраиваемыми системами с жёстким реальным временем для бортовой аппаратуры и исследованиями безопасности ОС общего назначения на базе Unix. С 2016 года ведёт исследования в области прошивок UEFI и загрузчиков ОС для x86. Является автором проекта OpenCore и регулярным контрибьютером в Tianocore EDK II и UEFITool.
Unified Extensible Firmware Interface (UEFI) – это стандартизованный интерфейс между прошивкой и операционной системой, используемый во всех платформах на базе x86 в течение последних десяти лет. Стандарт UEFI активно переносится и на другие архитектуры такие как ARM и RISC-V. В данной работе приведён краткий обзор современных проблем безопасности, связанных с UEFI прошивками, и представлен проект Amaranth, целью которого является разработка защищённой UEFI прошивки для виртуальных машин.
