Invited - Specification and modeling for systems-on-chip security verification.

Sharad Malik, Pramod Subramanyan

Browse the full DAC paper archive.