Formal Verification of Secure Boot Process.

Sriram Vasudevan, Prasanna Ravi, Arpan Jati, Shivam Bhasin, Anupam Chattopadhyay

Browse the full DATE paper archive.