Potlapally, Raghunathan, Ravi, Jha, Lee, 2006. Satisfiability-based Framework for Enabling Side-channel Attacks on Cryptographic Software, in: . IEEE.. https://doi.org/10.1109/date.2006.244158