%0 Journal Article
%J IEEE Transactions on VLSI
%D 2007
%T Aiding Side-channel Attacks on Cryptographic Software with Satisfiability-based Analysis
%A Potlapally, Nachiketh
%A Raghunathan, Anand
%A Ravi, Sriavths
%A Jha, Niraj
%A Lee, Ruby
%N 4
%P 465-470
%V 15
%8 April 2007