When Capacitors Attack: Formal Method Driven Design and Detection of Charge-Domain Trojans - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiaolong Guo, Huifeng Zhu, Yier Jin, Xuan Zhang. When Capacitors Attack: Formal Method Driven Design and Detection of Charge-Domain Trojans. In Design, Automation & Test in Europe Conference & Exhibition, DATE 2019, Florence, Italy, March 25-29, 2019. pages 1727-1732, IEEE, 2019. [doi]

This author has not been identified. Look up 'Xiaolong Guo' in GoogleThis author has not been identified. Look up 'Huifeng Zhu' in GoogleThis author has not been identified. Look up 'Yier Jin' in GoogleThis author has not been identified. Look up 'Xuan Zhang' in Google

runs on WebDSL