Nachiketh R. Potlapally, Anand Raghunathan, Srivaths Ravi, Niraj K. Jha, Ruby B. Lee. Aiding Side-Channel Attacks on Cryptographic Software With Satisfiability-Based Analysis. IEEE Trans. VLSI Syst., 15(4):465-470, 2007. [doi]
@article{PotlapallyRRJL07,
title = {Aiding Side-Channel Attacks on Cryptographic Software With Satisfiability-Based Analysis},
author = {Nachiketh R. Potlapally and Anand Raghunathan and Srivaths Ravi and Niraj K. Jha and Ruby B. Lee},
year = {2007},
doi = {10.1109/TVLSI.2007.893665},
url = {http://dx.doi.org/10.1109/TVLSI.2007.893665},
tags = {rule-based, analysis, Ruby},
researchr = {https://researchr.org/publication/PotlapallyRRJL07},
cites = {0},
citedby = {0},
journal = {IEEE Trans. VLSI Syst.},
volume = {15},
number = {4},
pages = {465-470},
}