@article { , title = {Aiding Side-channel Attacks on Cryptographic Software with Satisfiability-based Analysis}, journal = {IEEE Transactions on VLSI}, volume = {15}, year = {2007}, month = {April 2007}, pages = {465-470}, author = {Potlapally, Nachiketh and Raghunathan, Anand and Sriavths Ravi and Jha, Niraj and Lee, Ruby B.} }