soc-security-skills

What problem does it solve?

This Skill provides a comprehensive suite of tools for hardware security engineers to systematically analyze and document the security posture of System-on-Chip (SoC) components and architectures.

Core Features & Use Cases

• End-to-End Security Analysis: Covers threat modeling, verification scaffolding, compliance mapping, and executive briefing.
• Advanced Threat Detection: Includes specialized skills for microarchitectural attacks, physical side-channel analysis, kernel security, and emerging hardware paradigms.
• Formal Verification Support: Enables formalization of security properties using TLA+.
• Use Case: A hardware security engineer needs to assess the security of a new crypto engine. They can use the pipeline to threat model it, generate verification assertions, map it against FIPS 140-3, and brief the CISO on the findings.

Quick Start

Use the soc-security pipeline to perform a full security analysis of the TDISP device assignment flow.