MIFA는 차분 결함 공격(DFA)에 알고리즘적으로 저항하도록 설계된 블록암호 DEFAULT와 BAKSHEESH 등을 대상으로, 혼합정수선형계획법(MILP) 솔버를 활용해 더 깊은 라운드까지 공격을 확장하는 새로운 DFA 프레임워크다. DEFAULT는 애초 주입 결함 수와 무관하게 64비트 DFA 안전성을 주장했지만 이후 정보결합 기법과 단일해 차분 경로 탐색으로 각각 뚫렸으며, 기존 최고 결과는 DEFAULT에 5개, BAKSHEESH에 12개의 결함으로 키 공간을 하나로 줄였다. MIFA는 가능한 모든 단일 비트 반전 결함의 입력 차분을 체계적으로 분석해 가장 효율적인 결함 주입 위치를 결정하는 방법도 함께 제시해, 필요한 결함 수를 이론적으로 계산할 수 있게 했다. 이를 적용한 결과 DEFAULT에서는 끝에서 6번째 라운드에 결함 3개, 끝에서 7·8번째 라운드에 각각 2개만 주입해도 키 공간을 하나로 줄일 수 있음을 보여, 기존보다 더 적은 결함으로 더 깊은 라운드를 공격할 수 있게 됐다.

• •MILP 솔버 기반으로 더 깊은 라운드까지 차분 결함 공격을 확장하는 프레임워크
• •단일 비트 반전 결함을 체계적으로 분석해 최적 결함 주입 위치 결정
• •DEFAULT에서 기존보다 적은 결함(6번째 라운드에 3개 등)로 키 공간을 1로 축소
• •필요 결함 수를 이론적으로 사전 계산 가능하게 함