Principal Investigator: Aravind Machiry
We are working on various (static + dynamic) techniques to secure bootloaders, especially UEFI/EDK-2.