An Increasing Need for Formality (Invited Talk)

The talk will touch on a number of practical opportunities for formal modeling and methods that Intel sees in HW security research including: instruction sets; the proliferation of programmable agents within SoC\u27s; and negative space testing