Automatic Security Property Generation for Detecting Information-Leaking Hardware Trojans.

Chenguang Wang, Yici Cai, Qiang Zhou

Browse the full ICCD paper archive.