Verifying security properties in modern SOCs using instruction-level abstractions

Pramod Subramanyan, Sharad Malik

Research output: Chapter in Book/Report/Conference proceedingChapter

Fingerprint

Dive into the research topics of 'Verifying security properties in modern SOCs using instruction-level abstractions'. Together they form a unique fingerprint.

Engineering & Materials Science