Михаил Кричанов, стажёр-исследователь ИСП РАН. В 2014 году закончил бакалавриат МФТИ (Факультет физической и квантовой электроники), в 2021 — магистратуру ВШЭ (Образовательная программа «Системное программирование»). В 2019-2020 годах занимался тестированием криптографических протоколов с использованием формальных спецификаций. С 2020 участвует в разработке защищённой UEFI прошивки для платформ на базе x86.
Unified Extensible Firmware Interface (UEFI) – это стандартизованный интерфейс между прошивкой и операционной системой, используемый во всех платформах на базе x86 в течение последних десяти лет. Стандарт UEFI активно переносится и на другие архитектуры такие как ARM и RISC-V. В данной работе приведён краткий обзор современных проблем безопасности, связанных с UEFI прошивками, и представлен проект Amaranth, целью которого является разработка защищённой UEFI прошивки для виртуальных машин.
