Hardware Security Assertions

Many hardware-security failures are not caused by a broken assertion; they happen because an important assertion was never written.

This work looks at whether language models can help engineers notice missing security properties in RTL and turn those gaps into reviewable assertions.