An Increasing Need for Formality (Keynote)
Martin Dixon · 2019
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 SoCs; and negative space testing.