In this paper we present a rather new approach to apply mixed-integer optimization to the cryptanalysis of cryptographic primitives. We focus on the stream cipher Trivium, that has been recommended by the eSTREAM stream cipher project, and the lightweight block cipher Ktantan. Using these examples we explain how the problem of solving a non-linear multivariate Boolean equation system can be for...

Mixed Integer Optimization has been a topic of active research in past decades. It has been used to solve Statistical problems of classification and regression involving massive data. However, there is an inherent degree of vagueness present in huge real life data. This impreciseness is handled by Fuzzy Sets. In this Paper, Fuzzy Mixed Integer Optimization Method (FMIOM) is used to find solutio...

The natural gas supply chain involves three main agents: producers, transportation companies, and local distribution companies (LDCs). We present a MIP model that is the basis for a decision support system developed for a Chilean LDC. This model takes into account many of the complexities of the purchasing and transportation contracts to help optimize daily purchase and transportation decisions...

Most industrial model predictive controllers (MPC) use the traditional two-layer structure developed in the early 1980’s, where the upper layer defines optimal steady-state targets for inputs and outputs, while the lower layer calculates the control moves that drive the system towards these steady-state targets. Typically both layers use continuous quadratic programming (QP) formulations to der...

This paper mainly studies mixed integer linear programming (MILP)-based cryptanalysis on round-reduced NBC algorithm with generalized Feistel structure. First, each component of the is equivalently described by inequality equations, and propagation rules differential characteristics approximation are described, an automatic search model mode mask based MILP established, minimum number active S-...

In hybrid model predictive control (MPC), a mixed-integer quadratic program (MIQP) is solved at each sampling time to compute the optimal action. Although these optimizations are generally very demanding, in MPC, we expect consecutive problem instances be nearly identical. This article addresses question of how computations performed one step can reused accelerate (warm start) solution subseque...

The problem of data reconciliation and the detection and identification of gross errors, such as measurement bias, are closely related and permits a solution within a mixed integer optimization framework. A mixed-integer linear programming (MILP) approach has been previously investigated by Soderstrom et al. (2001), where the process model was described by a set of linear equations. This paper ...

This paper presents a multi-objective and multi-service location-allocation model with capacity planning to design a healthcare facilities network through considering a referral system. Therefore, a mixed integer nonlinear programming (MINLP) model containing two objective functions is proposed. The first objective function is  relates to minimization of total opening cost, minimization of tota...