%0 Conference Paper %B Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2006) %D 2006 %T Satisfiability-based Framework for Enabling Side-channel Attacks on Cryptographic Software %A Potlapally, Nachiketh %A Raghunathan, Anand %A Ravi, Srivaths %A Jha, Niraj %A Lee, Ruby %C Munich, Germany %P 18-23 %U http://palms.ee.princeton.edu/PALMSopen/potlapally06satisfiability.pdf %8 March 2006