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