(Security) Assertions by Large Language Models

Understand

The security of computer systems typically relies on a hardware root of trust.

• As vulnerabilities in hardware can have severe implications on a system, there is a need for techniques to support security verification activities.
• Assertion-based verification is a popular verification technique that involves capturing design intent in a set of assertions that can be used in formal verification or testing-based checking.
• However, writing security-centric assertions is a challenging task.