DeepAI AI Chat
Log In Sign Up

Minimizing Deduction System and its Application

by   Zhe Cen, et al.

In a deduction system with some propositions and some known relations among these propositions, people usually care about the minimum of propositions by which all other propositions can be deduced according to these known relations. Here we call it a minimizing deduction system. Its common solution is the guess and determine method. In this paper we propose a method of solving the minimizing deduction system based on MILP. Firstly, we introduce the conceptions of state variable, path variable and state copy, which enable us to characterize all rules by inequalities. Then we reduce the deduction problem to a MILP problem and solve it by the Gurobi optimizer. As its applications, we analyze the security of two stream ciphers SNOW2.0 and Enocoro-128v2 in resistance to guess and determine attacks. For SNOW 2.0, it is surprising that it takes less than 0.1s to get the best solution of 9 known variables in a personal Macbook Air(Early 2015, Double Intel Core i5 1.6GHZ, 4GB DDR3). For Enocoro-128v2, we get the best solution of 18 known variables within 3 minutes. What's more, we propose two improvements to reduce the number of variables and inequalities which significantly decrease the scale of the MILP problem.


page 1

page 2

page 3

page 4


A Sequence of Relaxations Constraining Hidden Variable Models

Many widely studied graphical models with latent variables lead to nontr...

How to Use Undiscovered Information Inequalities: Direct Applications of the Copy Lemma

We discuss linear programming techniques that help to deduce corollaries...

How Many Clues To Give? A Bilevel Formulation For The Minimum Sudoku Clue Problem

It has been shown that any 9 by 9 Sudoku puzzle must contain at least 17...

Efficient Algorithms for Modeling SBoxes Using MILP

Mixed Integer Linear Programming (MILP) is a well-known approach for the...

Sampling, Marcinkiewicz-Zygmund Inequalities, Approximation, and Quadrature Rules

Given a sequence of Marcinkiewicz-Zygmund inequalities in L^2, we derive...

Application of information-percolation method to reconstruction problems on graphs

In this paper we propose a method of proving impossibility results based...