Formal Verification of Secure Boot Process.

Sriram Vasudevan Prasanna Ravi Arpan Jati Shivam Bhasin Anupam Chattopadhyay

Published in: DATE (2024)

Keyphrases

process model
formal verification
artificial intelligence
model checking
lightweight