When Capacitors Attack: Formal Method Driven Design and Detection of Charge-Domain Trojans | IEEE Conference Publication | IEEE Xplore