@conference { ,
	title = {Satisfiability-based Framework for Enabling Side-channel Attacks on Cryptographic Software},
	year = {2006},
	month = {March 2006},
	pages = {18-23},
	address = {Munich, Germany},
	URL = {http://palms.ee.princeton.edu/PALMSopen/potlapally06satisfiability.pdf},
	author = {Potlapally, Nachiketh and Raghunathan, Anand and Ravi, Srivaths and Jha, Niraj and Lee, Ruby B.}
}