Property specific information flow analysis for hardware security verification.

Wei Hu, Armaiti Ardeshiricham, Mustafa S. Gobulukoglu, Xinmu Wang, Ryan Kastner

Browse the full ICCAD paper archive.