@misc{cryptoeprint:2017:401, author = {Quoc-Sang Phan and Lucas Bang and Corina S. P\u{a}s\u{a}reanu and Pasquale Malacaria and Tevfik Bultan}, title = {Synthesis of Adaptive Side-Channel Attacks}, howpublished = {Cryptology ePrint Archive, Report 2017/401}, year = {2017}, url = {https://eprint.iacr.org/2017/401}, }