When Capacitors Attack: Formal Method Driven Design and Detection of Charge-Domain Trojans.

Xiaolong Guo, Huifeng Zhu, Yier Jin, Xuan Zhang

Browse the full DATE paper archive.