-
A Novel Pseudo-Random Number Generator Based on Multi-Objective Optimization for Image-Cryptographic Applications
Authors:
Takreem Haider,
Saúl A. Blanco,
Umar Hayat
Abstract:
Pseudo-random number generators (PRNGs) play an important role to ensure the security and confidentiality of image cryptographic algorithms. Their primary function is to generate a sequence of numbers that possesses unpredictability and randomness, which is crucial for the algorithms to work effectively and provide the desired level of security. However, traditional PRNGs frequently encounter limi…
▽ More
Pseudo-random number generators (PRNGs) play an important role to ensure the security and confidentiality of image cryptographic algorithms. Their primary function is to generate a sequence of numbers that possesses unpredictability and randomness, which is crucial for the algorithms to work effectively and provide the desired level of security. However, traditional PRNGs frequently encounter limitations like insufficient randomness, predictability, and vulnerability to cryptanalysis attacks. To overcome these limitations, we propose a novel method namely an elliptic curve genetic algorithm (ECGA) for the construction of an image-dependent pseudo-random number generator (IDPRNG) that merges elliptic curves (ECs) and a multi-objective genetic algorithm (MOGA). The ECGA consists of two primary stages. First, we generate an EC-based initial sequence of random numbers using pixels of a plain-image and parameters of an EC, that depart from traditional methods of population initialization. In our proposed approach, the image itself serves as the seed for the initial population in the genetic algorithm optimization, taking into account the image-dependent nature of cryptographic applications. This allows the PRNG to adapt its behavior to the unique characteristics of the input image, leading to enhanced security and improved resistance against differential attacks. Furthermore, the use of a good initial population reduces the number of generations required by a genetic algorithm, which results in decreased computational cost. In the second stage, we use well-known operations of a genetic algorithm to optimize the generated sequence by maximizing a multi-objective fitness function that is based on both the information entropy and the period of the PRNG. By combining elliptic curves and genetic algorithms, we enhance the randomness and security of the ECGA.
△ Less
Submitted 8 July, 2023;
originally announced July 2023.
-
Image Encryption Using Elliptic Curves and Rossby/Drift Wave Triads
Authors:
Ikram Ullah,
Umar Hayat,
Miguel D. Bustamante
Abstract:
We propose an image encryption scheme based on quasi-resonant Rossby/drift wave triads (related to elliptic surfaces) and Mordell elliptic curves (MECs). By defining a total order on quasi-resonant triads, at a first stage we construct quasi-resonant triads using auxiliary parameters of elliptic surfaces in order to generate pseudo-random numbers. At a second stage, we employ an MEC to construct a…
▽ More
We propose an image encryption scheme based on quasi-resonant Rossby/drift wave triads (related to elliptic surfaces) and Mordell elliptic curves (MECs). By defining a total order on quasi-resonant triads, at a first stage we construct quasi-resonant triads using auxiliary parameters of elliptic surfaces in order to generate pseudo-random numbers. At a second stage, we employ an MEC to construct a dynamic substitution box (S-box) for the plain image. The generated pseudo-random numbers and S-box are used to provide diffusion and confusion, respectively, in the tested image. We test the proposed scheme against well-known attacks by encrypting all gray images taken from the USC-SIPI image database. Our experimental results indicate the high security of the newly developed scheme. Finally, via extensive comparisons we show that the new scheme outperforms other popular schemes.
△ Less
Submitted 10 May, 2020; v1 submitted 6 March, 2020;
originally announced March 2020.
-
A Novel Method to Construct NSSD Molecular Graphs
Authors:
Umar Hayat,
Mubasher Umer,
Ivan Gutman,
Bijan Davvaz,
Álvaro Nolla de Celis
Abstract:
A graph is said to be NSSD (= non-singular with a singular deck) if it has no eigenvalue equal to zero, whereas all its vertex-deleted subgraphs have eigenvalues equal to zero. NSSD graphs are of importance in the theory of conductance of organic compounds. In this paper, a novel method is described for constructing NSSD molecular graphs from the commuting graphs of the $H_v$-group. An algorithm i…
▽ More
A graph is said to be NSSD (= non-singular with a singular deck) if it has no eigenvalue equal to zero, whereas all its vertex-deleted subgraphs have eigenvalues equal to zero. NSSD graphs are of importance in the theory of conductance of organic compounds. In this paper, a novel method is described for constructing NSSD molecular graphs from the commuting graphs of the $H_v$-group. An algorithm is presented to construct the NSSD graphs from these commuting graphs.
△ Less
Submitted 27 October, 2019;
originally announced October 2019.
-
Efficient and Secure Substitution Box and Random Number Generators Over Mordell Elliptic Curves
Authors:
Ikram Ullah,
Naveed Ahmed Azam,
Umar Hayat
Abstract:
Elliptic curve cryptography has received great attention in recent years due to its high resistance against modern cryptanalysis. The aim of this article is to present efficient generators to generate substitution boxes (S-boxes) and pseudo random numbers which are essential for many well-known cryptosystems. These generators are based on a special class of ordered Mordell elliptic curves. Rigorou…
▽ More
Elliptic curve cryptography has received great attention in recent years due to its high resistance against modern cryptanalysis. The aim of this article is to present efficient generators to generate substitution boxes (S-boxes) and pseudo random numbers which are essential for many well-known cryptosystems. These generators are based on a special class of ordered Mordell elliptic curves. Rigorous analyses are performed to test the security strength of the proposed generators. For a given prime, the experimental results reveal that the proposed generators are capable of generating a large number of distinct, mutually uncorrelated, cryptographically strong S-boxes and sequences of random numbers in low time and space complexity. Furthermore, it is evident from the comparison that the proposed schemes can efficiently generate secure S-boxes and random numbers as compared to some of the well-known existing schemes over different mathematical structures.
△ Less
Submitted 12 October, 2019;
originally announced October 2019.
-
An Efficient Algorithm for Latin Squares in a Bipartite Min-Max-Plus System
Authors:
Mubasher Umer,
Umar Hayat,
Fazal Abbas,
Anurag Agarwal,
Petko Kitanov
Abstract:
In this paper, we consider the eigenproblems for Latin squares in a bipartite min-max-plus system. The focus is upon developing a new algorithm to compute the eigenvalue and eigenvectors (trivial and non-trivial) for Latin squares in a bipartite min-max-plus system. We illustrate the algorithm using some examples. Furthermore, we compare the results of our algorithm with some of the existing algor…
▽ More
In this paper, we consider the eigenproblems for Latin squares in a bipartite min-max-plus system. The focus is upon developing a new algorithm to compute the eigenvalue and eigenvectors (trivial and non-trivial) for Latin squares in a bipartite min-max-plus system. We illustrate the algorithm using some examples. Furthermore, we compare the results of our algorithm with some of the existing algorithms which shows that the propose method is more efficient.
△ Less
Submitted 22 August, 2019;
originally announced August 2019.
-
Efficient Construction of a Substitution Box Based on a Mordell Elliptic Curve Over a Finite Field
Authors:
Naveed Ahmed Azam,
Umar Hayat,
Ikram Ullah
Abstract:
Elliptic curve cryptography (ECC) is used in many security systems due to its small key size and high security as compared to the other cryptosystems. In many well-known security systems substitution box (S-box) is the only non-linear component. Recently, it is shown that the security of a cryptosystem can be improved by using dynamic S-boxes instead of a static S-box. This fact necessitates the c…
▽ More
Elliptic curve cryptography (ECC) is used in many security systems due to its small key size and high security as compared to the other cryptosystems. In many well-known security systems substitution box (S-box) is the only non-linear component. Recently, it is shown that the security of a cryptosystem can be improved by using dynamic S-boxes instead of a static S-box. This fact necessitates the construction of new secure S-boxes. In this paper, we propose an efficient method for the generation of S-boxes based on a class of Mordell elliptic curves (MECs) over prime fields by defining different total orders. The proposed scheme is developed in such a way that for each input it outputs an S-box in linear time and constant space. Due to this property, our method takes less time and space as compared to all existing S-box construction methods over elliptic curve. Furthermore, it is shown by the computational results that the proposed method is capable of generating cryptographically strong S-boxes with comparable security to some of the existing S-boxes constructed over different mathematical structures.
△ Less
Submitted 15 January, 2019; v1 submitted 28 September, 2018;
originally announced September 2018.
-
Discrete resonant Rossby/drift wave triads: an explicit parameterisation and a fast direct numerical search algorithm
Authors:
Umar Hayat,
Shahid Amanullah,
Shane Walsh,
Miguel D. Bustamante
Abstract:
We report results on the explicit parameterisation of discrete Rossby-wave resonant triads of the Charney-Hasegawa-Mima equation in the small-scale limit (i.e. large Rossby deformation radius), following up from our previous solution in terms of elliptic curves (Bustamante and Hayat, 2013). We find an explicit parameterisation of the discrete resonant wavevectors in terms of two rational variables…
▽ More
We report results on the explicit parameterisation of discrete Rossby-wave resonant triads of the Charney-Hasegawa-Mima equation in the small-scale limit (i.e. large Rossby deformation radius), following up from our previous solution in terms of elliptic curves (Bustamante and Hayat, 2013). We find an explicit parameterisation of the discrete resonant wavevectors in terms of two rational variables. We show that these new variables are restricted to a bounded region and find this region explicitly. We argue that this can be used to reduce the complexity of a direct numerical search for discrete triad resonances. Also, we introduce a new direct numerical method to search for discrete resonances. This numerical method has complexity ${\mathcal{O}}(N^3)$, where $N$ is the largest wavenumber in the search. We apply this new method to find all discrete irreducible resonant triads in the wavevector box of size $5000$, in a calculation that took about $10.5$ days on a $16$-core machine. Finally, based on our method of mapping to elliptic curves, we discuss some dynamical implications regarding the spread of quadratic invariants across scales via resonant triad interactions, in the form of sharp bounds on the size of the interacting wavevectors.
△ Less
Submitted 9 April, 2018;
originally announced April 2018.
-
Fixed points of automorphisms of certain non-cyclic $p$-groups and the dihedral group
Authors:
Akhtar Abbas,
Umar Hayat,
Daniel López-Aguayo
Abstract:
Let $G=\mathbf{Z}_{p} \oplus \mathbf{Z}_{p^2}$, where $p$ is a prime number. Suppose that $d$ is a divisor of the order of $G$. In this paper we find the number of automorphisms of $G$ fixing $d$ elements of $G$, and denote it by $θ(G,d)$. As a consequence, we prove a conjecture of Checco-Darling-Longfield-Wisdom. We also find the exact number of fixed-point-free automorphisms of the group…
▽ More
Let $G=\mathbf{Z}_{p} \oplus \mathbf{Z}_{p^2}$, where $p$ is a prime number. Suppose that $d$ is a divisor of the order of $G$. In this paper we find the number of automorphisms of $G$ fixing $d$ elements of $G$, and denote it by $θ(G,d)$. As a consequence, we prove a conjecture of Checco-Darling-Longfield-Wisdom. We also find the exact number of fixed-point-free automorphisms of the group $\mathbf{Z}_{p^{a}} \oplus \mathbf{Z}_{p^{b}}$, where $a$ and $b$ are positive integers with $a<b$. Finally, we compute $θ(D_{2q},d)$, where $D_{2q}$ is the dihedral group of order $2q$, $q$ is an odd prime and $d \in \{1,q,2q\}$.
△ Less
Submitted 25 June, 2018; v1 submitted 9 January, 2018;
originally announced January 2018.
-
Commuting graphs on Coxeter groups, Dynkin diagrams and finite subgroups of $SL(2,\mathbb{C})$
Authors:
Umar Hayat,
Álvaro Nolla de Celis,
Fawad Ali
Abstract:
For a group $H$ and a non empty subset $Γ\subseteq H$, the commuting graph $G=\mathcal{C}(H,Γ)$ is the graph with $Γ$ as the node set and where any $x,y \in Γ$ are joined by an edge if $x$ and $y$ commute in $H$. We prove that any simple graph can be obtained as a commuting graph of a Coxeter group, solving the realizability problem in this setup. In particular we can recover every Dynkin diagram…
▽ More
For a group $H$ and a non empty subset $Γ\subseteq H$, the commuting graph $G=\mathcal{C}(H,Γ)$ is the graph with $Γ$ as the node set and where any $x,y \in Γ$ are joined by an edge if $x$ and $y$ commute in $H$. We prove that any simple graph can be obtained as a commuting graph of a Coxeter group, solving the realizability problem in this setup. In particular we can recover every Dynkin diagram of ADE type as a commuting graph. Thanks to the relation between the ADE classification and finite subgroups of $\SL(2,\C)$, we are able to rephrase results from the {\em McKay correspondence} in terms of generators of the corresponding Coxeter groups. We finish the paper studying commuting graphs $\mathcal{C}(H,Γ)$ for every finite subgroup $H\subset\SL(2,\C)$ for different subsets $Γ\subseteq H$, and investigating metric properties of them when $Γ=H$.
△ Less
Submitted 8 December, 2017; v1 submitted 7 March, 2017;
originally announced March 2017.
-
A note on the canonical divisor of the generalised affine Stiefel algebraic varieties
Authors:
Umar Hayat
Abstract:
In this paper we study certain homogeneous spaces, which we call generalised affine Stiefel algebraic varieties. The main aim is to characterise the canonical divisor of generalised affine Stiefel algebraic varieties in terms of group representations. Affine Stiefel algebraic varieties and in particular $S^{n}$ are two special cases of the generalised affine Stiefel algebraic varieties.
In this paper we study certain homogeneous spaces, which we call generalised affine Stiefel algebraic varieties. The main aim is to characterise the canonical divisor of generalised affine Stiefel algebraic varieties in terms of group representations. Affine Stiefel algebraic varieties and in particular $S^{n}$ are two special cases of the generalised affine Stiefel algebraic varieties.
△ Less
Submitted 13 December, 2014;
originally announced December 2014.
-
Counting of discrete Rossby/drift wave resonant triads (again)
Authors:
Miguel D. Bustamante,
Umar Hayat,
Peter Lynch,
Brenda Quinn
Abstract:
The purpose of our earlier note (arXiv:1309.0405 [physics.flu-dyn]) was to remove the confusion over counting of resonant wave triads for Rossby and drift waves in the context of the Charney-Hasegawa-Mima equation. A comment by Kartashov and Kartashova (arXiv:1309.0992v1 [physics.flu-dyn]) on that note has further confused the situation. The present note aims to remove this obfuscation.
The purpose of our earlier note (arXiv:1309.0405 [physics.flu-dyn]) was to remove the confusion over counting of resonant wave triads for Rossby and drift waves in the context of the Charney-Hasegawa-Mima equation. A comment by Kartashov and Kartashova (arXiv:1309.0992v1 [physics.flu-dyn]) on that note has further confused the situation. The present note aims to remove this obfuscation.
△ Less
Submitted 21 September, 2013;
originally announced September 2013.
-
Counting of discrete Rossby/drift wave resonant triads
Authors:
Miguel D. Bustamante,
Umar Hayat,
Peter Lynch,
Brenda Quinn
Abstract:
The purpose of this note is to remove the confusion about counting of resonant wave triads for Rossby and drift waves in the context of the Charney-Hasegawa-Mima equation. In particular, we aim to point out a major error of over-counting of triads in the paper "Discrete exact and quasi-resonances of Rossby/drift waves on beta-plane with periodic boundary conditions", by Kartashov and Kartashova, a…
▽ More
The purpose of this note is to remove the confusion about counting of resonant wave triads for Rossby and drift waves in the context of the Charney-Hasegawa-Mima equation. In particular, we aim to point out a major error of over-counting of triads in the paper "Discrete exact and quasi-resonances of Rossby/drift waves on beta-plane with periodic boundary conditions", by Kartashov and Kartashova, arXiv:1307.8272v1 [physics.flu-dyn] (2013).
△ Less
Submitted 2 September, 2013;
originally announced September 2013.
-
The Cramer Varieties Cr(r,r+s,s)
Authors:
Umar Hayat
Abstract:
In this paper we study quasi-homogeneous affine algebraic varieties, that is, varieties obtained as closures of orbits of suitable group representations. We also discuss one interesting case that has links with the Orthogonal Grassmannian OGr(5,10). The main aim is to write the tangent bundle and the canonical class of quasi-homogeneous affine algebraic varieties in terms of group representations.
In this paper we study quasi-homogeneous affine algebraic varieties, that is, varieties obtained as closures of orbits of suitable group representations. We also discuss one interesting case that has links with the Orthogonal Grassmannian OGr(5,10). The main aim is to write the tangent bundle and the canonical class of quasi-homogeneous affine algebraic varieties in terms of group representations.
△ Less
Submitted 29 May, 2013;
originally announced May 2013.
-
A note on the canonical divisor of quasi-homogeneous affine algebraic varieties
Authors:
Umar Hayat
Abstract:
We give a necessary and sufficient condition for the canonical divisor to vanish on a quasi-homogeneous affine algebraic variety.
We give a necessary and sufficient condition for the canonical divisor to vanish on a quasi-homogeneous affine algebraic variety.
△ Less
Submitted 25 October, 2012; v1 submitted 24 October, 2012;
originally announced October 2012.
-
Complete classification of discrete resonant Rossby/drift wave triads on periodic domains
Authors:
Miguel D. Bustamante,
Umar Hayat
Abstract:
We consider the set of Diophantine equations that arise in the context of the barotropic vorticity equation on periodic domains, when nonlinear wave interactions are studied to leading order in the amplitudes. The solutions to this set of Diophantine equations are of interest in atmosphere (Rossby waves) and Tokamak plasmas (drift waves), because they provide the values of the spectral wavevectors…
▽ More
We consider the set of Diophantine equations that arise in the context of the barotropic vorticity equation on periodic domains, when nonlinear wave interactions are studied to leading order in the amplitudes. The solutions to this set of Diophantine equations are of interest in atmosphere (Rossby waves) and Tokamak plasmas (drift waves), because they provide the values of the spectral wavevectors that interact resonantly via three-wave interactions. These come in "triads", i.e., groups of three wavevectors.
We provide the full solution to the Diophantine equations in the case of infinite Rossby deformation radius. The method is completely new, and relies on mapping the unknown variables to rational points on quadratic forms of "Minkowski" type. Classical methods invented centuries ago by Fermat, Euler, Lagrange and Minkowski, are used to classify all solutions to our original Diophantine equations, thus providing a computational method to generate numerically all the resonant triads in the system. Our method has a clear computational advantage over brute-force numerical search: on a 10000^2 grid, the brute-force search would take 15 years using optimised C++ codes, whereas our method takes about 40 minutes.
The method is extended to generate quasi-resonant triads, which are defined by relaxing the resonant condition on the frequencies, allowing for a small mismatch. Quasi-resonances are robust with respect to physical perturbations, unlike exact resonances. Therefore, the new method is really valuable in practical terms. We show that the set of quasi-resonances form an intricate network of clusters of connected triads, whose structure depends on the value of the allowed mismatch. We provide some quantitative comparison between the clusters' structure and the onset of fully nonlinear turbulence in the barotropic vorticity equation, and provide perspectives for new research.
△ Less
Submitted 13 May, 2013; v1 submitted 7 October, 2012;
originally announced October 2012.
