TY  - RPRT
TI  - BootKeeper: Validating Software Integrity Properties on Boot Firmware Images
AU  - Ronny Chevalier
AU  - Stefano Cristalli
AU  - Christophe Hauser
AU  - Yan Shoshitaishvili
AU  - Ruoyu Wang
AU  - Christopher Kruegel
AU  - Giovanni Vigna
AU  - Danilo Bruschi
AU  - Andrea Lanzi
PY  - 2019
DO  - 10.1145/3292006.3300026
UR  - https://arxiv.org/abs/1903.12505
ID  - 1903.12505
ER  -