Multiset-Algebraic Cryptanalysis of Reduced Kuznyechik, Khazad, and secret SPNs

in IACR Transactions on Symmetric Cryptology (2016), 2016(2), 226-247

We devise the first closed formula for the number of rounds of a blockcipher with secret components so that these components can be revealed using multiset, algebraic-degree, or division-integral ... [more ▼]

We devise the first closed formula for the number of rounds of a blockcipher with secret components so that these components can be revealed using multiset, algebraic-degree, or division-integral properties, which in this case are equivalent. Using the new result, we attack 7 (out of 9) rounds of Kuznyechik, the recent Russian blockcipher standard, thus halving its security margin. With the same technique we attack 6 (out of 8) rounds of Khazad, the legacy 64-bit blockcipher. Finally, we show how to cryptanalyze and find a decomposition of generic SPN construction for which the inner-components are secret. All the attacks are the best to date. [less ▲]

Multisets in arithmetics

in Multimengen in der Arithmetik (2019)

Multistability of genetic regulatory networks

in International Journal of Systems Science (2010), 41(1), 107-118

Multistability is found to be an important recurring theme in synthesis biology. In this article, the multistability analysis problem is investigated by applying control theory and mathematical tools ... [more ▼]

Multistability is found to be an important recurring theme in synthesis biology. In this article, the multistability analysis problem is investigated by applying control theory and mathematical tools. Both the modelling and analysis issues are discussed. Specifically, the genetic regulatory networks (GRNs) with multistability are modelled as switched systems with interval time-varying delays and parameter uncertainties, where the piecewise-affine models are used to approximate the inherent non-linearities existing in the GRNs. Then, by using a novel Lyapunov functional approach and linear matrix inequality (LMI) techniques, a few delay-dependent criteria for the multistability of such genetic regulatory networks are established in the form of LMIs, which can be readily verified by using standard numerical software. A three-component network and a genetic toggle switch with bistability are employed to illustrate the applicability and usefulness of the developed theoretical results. [less ▲]

A Multithreading Local Search For Multiobjective Energy-Aware Scheduling In Heterogeneous Computing Systems

in European Conference on Modelling and Simulation (ECMS) (2012)

This article introduces an efficient multithreading local search algorithm for solving the multiobjective scheduling problem in heterogeneous computing systems considering the makespan and energy ... [more ▼]

This article introduces an efficient multithreading local search algorithm for solving the multiobjective scheduling problem in heterogeneous computing systems considering the makespan and energy consumption objectives. The proposed method follows a fully multiobjective approach using a Pareto-based dominance search executed in parallel. The experimental analysis demonstrates that the new multithreading algorithm outperforms a set of deterministic heuristics based on Min-Min. The new method is able to achieve significant improvements in both objectives in reduced execution times for a broad set of testbed instances. [less ▲]

A multiuser downlink system combining limited feedback and channel correlaton information

in Communications (ICC), 2010 IEEE International Conference on (2010)

We address the problem of combining limited feedback information with long-term channel statistical information in the design of downlink SDMA schemes. A novel combining method is developed to improve the ... [more ▼]

We address the problem of combining limited feedback information with long-term channel statistical information in the design of downlink SDMA schemes. A novel combining method is developed to improve the quality of channel knowledge at the base station. More specifically, a set of novel feedback parameters is proposed and a related method is developed to estimate a representation of the multiuser channel vectors at the base station. This method utilizes the hybrid information by combining instantaneous channel feedback and long-term channel statistics, and is based on a channel phase codebook designed using the generalized Lloyd algorithm. The estimated channel knowledge at the base station can be used for joint design of multiuser precoding and opportunistic scheduling. The advantage of the proposed scheme over existing CSI quantization based SDMA schemes is further confirmed by computer simulations. [less ▲]

Multivariate central limit theorems for averages of fractional Volterra processes and applications to parameter estimation

Scientific journal (2015)

Multivariate integration of functions depending explicitly on the minimum and the maximum of the variables

in Journal of Mathematical Analysis and Applications (2008), 341(1), 200-210

By using some basic calculus of multiple integration, we provide an alternative expression of the integral $$ \int_{]a,b[^n} f(\mathbf{x},\min x_i,\max x_i) \, d\mathbf{x}, $$ in which the minimum and the ... [more ▼]

By using some basic calculus of multiple integration, we provide an alternative expression of the integral $$ \int_{]a,b[^n} f(\mathbf{x},\min x_i,\max x_i) \, d\mathbf{x}, $$ in which the minimum and the maximum are replaced with two single variables. We demonstrate the usefulness of that expression in the computation of orness and andness average values of certain aggregation functions. By generalizing our result to Riemann-Stieltjes integrals, we also provide a method for the calculation of certain expected values and distribution functions. [less ▲]

Multivariate normal approximation on the Wiener space: new bounds in the convex distance

E-print/Working paper (2020)

Multivariate stable approximation in Wasserstein distance by Stein's method

E-print/Working paper (2019)

A Multiverse Axiom Induction Framework

in Symposium on the Theoretical Foundations of Mathematics III (2015, September 23)

A MULTIVERSE AXIOM INDUCTION FRAMEWORK The multiverse paradigm in set theory does not only reflect philosophical preferences, or set up a new playground for mathematical investigation, but it also offers ... [more ▼]

A MULTIVERSE AXIOM INDUCTION FRAMEWORK The multiverse paradigm in set theory does not only reflect philosophical preferences, or set up a new playground for mathematical investigation, but it also offers a powerful methodological tool for investigating the conceptual foundations of set theory by guiding the search for and the evaluation of new set-theoretic axioms or facts. The prototypical example is Friedman's Hyperuniverse Program (HUP). Our goal is to develop an abstract inferential framework generalizing the HUP whose (defeasible, inductive) inference methods are meant to identify or validate new axioms. We consider nonmonotonic consequence relations |~, parametrized by specifications of the multiverse and set-theoretic desiderata, which associate with any suitable ZFC + X new - not necessarily classically derivable - candidate truths. The desiderata could, for instance, consist of consistency conditions or maximization demands w.r.t. preorders over universes. There are a number of possible inductive strategies, but it doesn't seem that conceptual considerations at the level of set theory are sufficient to decide among them. The idea is therefore to also assess the inferential level and to use rationality postulates for nonmonotonic inference, heavily investigated within AI for modeling commonsense reasoning, to classify and evaluate such procedures. This is however a non-trivial task because of the special characteristics of axiom induction. [less ▲]