Related papers: Lyapunov Exponent Evaluation of the CBC Mode of Op…
The cipher block chaining (CBC) block cipher mode of operation was invented by IBM (International Business Machine) in 1976. It presents a very popular way of encrypting which is used in various applications. In this paper, we have…
The cipher block chaining (CBC) block cipher mode of operation presents a very popular way of encrypting which is used in various applications. In previous research work, we have mathematically proven that, under some conditions, this mode…
In cryptography, the Cipher Block Chaining (CBC), one of the most commonly used mode in recent years, is a mode of operation that uses a block cipher to provide confidentiality or authenticity. In our previous research work, we have shown…
In cryptography, block ciphers are the most fundamental elements in many symmetric-key encryption systems. The Cipher Block Chaining, denoted CBC, presents one of the most famous mode of operation that uses a block cipher to provide…
Evidence of signatures associated with cryptographic modes of operation is established. Motivated by some analogies between cryptographic and dynamical systems, in particular with chaos theory, we propose an algorithm based on Lyapunov…
The Lyapunov exponent for collective motion is defined in order to characterize chaotic properties of collective motion for large populations of chaotic elements. Numerical computations for this quantity suggest that such collective motion…
In this paper, we discuss the Lyapunov exponent definition of chaos and how it can be used to quantify the chaotic behavior of a system. We derive a way to practically calculate the Lyapunov exponent of a one-dimensional system and use it…
The Lyapunov exponent is used to characterize the stability of the dynamic response of the system, and it is often employed to verify if a system is chaotic. Since its discovery in the nineteenth century, various methods have been proposed…
This paper re-examines the security of three related block cipher modes of operation designed to provide authenticated encryption. These modes, known as PES-PCBC, IOBC and EPBC, were all proposed in the mid-1990s. However, analyses of…
We investigate unification problems related to the Cipher Block Chaining (CBC) mode of encryption. We first model chaining in terms of a simple, convergent, rewrite system over a signature with two disjoint sorts: list and element. By…
Until now, most memristor-based chaotic circuits proposed in the literature are based on mathematical models which assume ideal characteristics such as piece-wise linear or cubic non-linearities. The idea, illustrated here and originating…
The security analysis of physical encryption protocol based on coherent pulse position modulation(CPPM) originated by Yuen is one of the most interesting topics in the study of cryptosystem with a security level beyond the Shannon limit.…
We show the first solvable chaotic synchronization model of unidirectionally coupled dynamical systems. We establish a new interpretation of the conditional Lyapunov exponent that characterizes chaotic synchronization completely. Moreover,…
The scaling behaviour of the Lyapunov exponent near the transition to chaos via type-III intermittency is determined for a generic map. A critical exponent $\beta$ expressing the scaling of the Lyapunov exponent as a function of both, the…
We investigate chaos in mixed-phase-space Hamiltonian systems using time series of the finite- time Lyapunov exponents. The methodology we propose uses the number of Lyapunov exponents close to zero to define regimes of ordered…
The dependence of the Lyapunov exponent on the closeness parameter, $\epsilon$, in tangent bifurcation systems is investigated. We study and illustrate two averaging procedures for defining Lyapunov exponents in such systems. First, we…
Safety is one of the fundamental problems in robotics. Recently, one-step or multi-step optimal control problems for discrete-time nonlinear dynamical system were formulated to offer tracking stability using control Lyapunov functions…
An algorithm to characterize collective motion is presented, with the introduction of ``collective Lyapunov exponent'', as the orbital instability at a macroscopic level. By applying the algorithm to a globally coupled map, existence of…
In this paper, we establish a connection between model predictive control (MPC) techniques and Control Barrier Functions (CBFs). Recognizing the similarity between CBFs and Control Lyapunov Functions (CLFs), we propose a MPC formulation…
Time bounded reachability is a fundamental problem in model checking continuous-time Markov chains (CTMCs) and Markov decision processes (CTMDPs) for specifications in continuous stochastic logics. It can be computed by numerically solving…