Improved MILP Modeling for Automatic Security Evaluation and Application to FOX

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]

Abstract

Abstract is missing.