ASAX: Automatic security assertion extraction for detecting Hardware Trojans.

Chenguang Wang, Yici Cai, Qiang Zhou, Haoyi Wang

Browse the full ASPDAC paper archive.