0 Potlapally, Nachiketh Raghunathan, Anand Sriavths Ravi Jha, Niraj Lee, Ruby B. 2007 Aiding Side-channel Attacks on Cryptographic Software with Satisfiability-based Analysis IEEE Transactions on VLSI 15 4 465-470 April 2007