• PA-Boot: A Formally Verified A...

Treffer: PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot Under Hardware Supply-Chain Attacks

Title:
PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot Under Hardware Supply-Chain Attacks
Authors:
Zhang, Z., Chang, R., Chen, M., Shen, W., Yu, C., Huang, H., Dai, Q., Zhao, Y.
Source:
IEEE Transactions on Information Forensics and Security IEEE Trans.Inform.Forensic Secur. Information Forensics and Security, IEEE Transactions on. 21:476-489 2026
Database:
IEEE Xplore Digital Library