Kexin Qiao, Lei Hu, Siwei Sun, Xiaoshuang Ma, Haibin Kan. Improved MILP Modeling for Automatic Security Evaluation and Application to FOX. IEICE Transactions, 98-A(1):72-80, 2015. [doi]
@article{QiaoHSMK15,
title = {Improved MILP Modeling for Automatic Security Evaluation and Application to FOX},
author = {Kexin Qiao and Lei Hu and Siwei Sun and Xiaoshuang Ma and Haibin Kan},
year = {2015},
url = {http://search.ieice.org/bin/summary.php?id=e98-a_1_72},
researchr = {https://researchr.org/publication/QiaoHSMK15},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {98-A},
number = {1},
pages = {72-80},
}