AutoMap: Automated Mapping of Security Properties Between Different Levels of Abstraction in Design Flow.

Bulbul Ahmed, Fahim Rahman, Nick Hooten, Farimah Farahmandi, Mark Tehranipoor

Browse the full ICCAD paper archive.