Property Based Formal Security Verification for Hardware Trojan Detection - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maoyuan Qin, Wei Hu, Dejun Mu, Yu Tai. Property Based Formal Security Verification for Hardware Trojan Detection. In 3rd IEEE International Verification and Security Workshop, IVSW 2018, Costa Brava, Spain, July 2-4, 2018. pages 62-67, IEEE, 2018. [doi]

This author has not been identified. Look up 'Maoyuan Qin' in GoogleThis author has not been identified. Look up 'Wei Hu' in GoogleThis author has not been identified. Look up 'Dejun Mu' in GoogleThis author has not been identified. Look up 'Yu Tai' in Google

runs on WebDSL