This book describes a wide variety of System-on-Chip (SoC) security threats and vulnerabilities, as well as their sources, in each stage of a design life cycle. The authors discuss a wide variety of state-of-the-art security verification and validation approaches such as formal methods and side-channel analysis, as well as simulation-based security and trust validation approaches. This book provides a comprehensive reference for system on chip designers and verification and validation engineers interested in verifying security and trust of heterogeneous SoCs.

現代のデジタル文明の礎であるＳｏＣ。本作は、その心臓部に潜む「脆弱性」という影を暴き出す、知的興奮に満ちた叙事詩です。著者のファラマンディたちは、設計の各段階で刻々と変化する脅威を緻密に描き、形式検証やサイドチャネル解析といった高度な技法を、まるでミステリーを解く鍵のように提示しています。 特筆すべきは、信頼と不信の相克を描く「哲学」の深さです。異種混在のＳｏＣという極小の宇宙で、絶対的な安全をいかに担保するか。設計者の執念と攻撃者の知略が火花を散らす最前線を浮き彫りにする本書は、論理の美学が凝縮された最高級の知の冒険と言えるでしょう。