The inclusion of ChaCha20 and Poly1305 into the list of supported ciphers in TLS 1.3 necessitates a security evaluation of those ciphers with all the state-of-the-art tools and innovative cryptanalysis methodologies. Mixed Integer Linear Programming (MILP) has been successfully applied to find more accurate characteristics of several ciphers such as SIMON and SPECK. In our research, we use MILP...

In this paper, we consider the problem of partner selection in a virtual organisation (VO); specifically, we develop mixed integer linear programming (MILP) models to support the configuration of VOs in a virtual organisation breeding environment (VBE). Apart from the basic model which focuses on the minimisation of total fixed and variable costs we present extensions that capture transportatio...

We consider the following Minimum Connectivity Inference problem (MCI), which arises in structural biology: given vertex sets Vi ⊆ V, i ∈ I, nd the graph G = (V,E) minimizing the size of the edge set E, such that the sub-graph of G induced by each Vi is connected. This problem arises in structural biology, when one aims at nding the pairwise contacts between the proteins of a protein assembly, ...

The Dependency Diagram of a Linear Programme (LP) shows how the successive inequalities of an LP depend on former inequalities, when variables are projected out by FourierMotzkin Elimination. This is explained in a paper referenced below. The paper, given here, extends the results to the Mixed Integer case (MILP). It is shown how projection of a MILP leads to a …nite disjunction of polytopes. T...

We present a method, based on formulation symmetry, for generating Mixed-Integer Linear Programming (MILP) relaxations with fewer variables than the original symmetric MILP. Our technique also extends to convex MINLP, and some nonconvex MINLP with a special structure. We showcase the effectiveness of our relaxation when embedded in a decomposition method applied to two important applications (m...

This paper addresses the problem of developing an optimisation model to aid the operational decision-making process in pipeline systems. The model is applied on a real world pipeline oil distribution scenario, which connects an inland refinery to a harbour, conveying multiple types of commodities. The optimisation model was developed based on mixed integer linear programming (MILP) with uniform...