Satisfiability-based Framework for Enabling Side-channel Attacks on Cryptographic Software

Source:

Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2006), Munich, Germany, p.18-23 (2006)

URL:

http://palms.ee.princeton.edu/PALMSopen/potlapally06satisfiability.pdf