arXiv Science⌕ Search

arXiv subjects

Ismel Martínez-Díaz

Publications and source records attributed to Ismel Martínez-Díaz.

3 recordsLinked to original sources

Memetic Search for Supersingular Elliptic Curves over $\mathbb{F}_p$

The search for supersingular elliptic curves is a fundamental computational problem in isogeny-based cryptography. A recent metaheuristic formulation over $\mathbb{F}_{p^2}$ introduced the NonMultiplicity Distance (NMD) objective, measuring the deviation of the Frobenius trace from a multiple of $p$, and showed that uninformed random search fails beyond $\approx 10^{13}$ candidates. This work investigates metaheuristic search over the prime field $\mathbb{F}_p$, the setting for oriented isogeny protocols such as CSIDH, OSIDH, and SQISign. Although the candidate space decreases from $p^2$ to $p$, the supersingular locus is asymptotically sparse ($O(\sqrt{p}\log p)$ curves), keeping the search exponentially difficult. We formulate a memetic algorithm tailored to $\mathbb{F}_p$ using a one-dimensional $j$-invariant chromosome, bit-level recombination, adaptive mutation, and periodic local search under the NMD objective. Benchmarks across 30 independent seeds at 40-bit, 46-bit, and 51-bit prime sizes ($p \approx 1.13\times 10^{15}$) show that the algorithm discovers an exact supersingular curve at 46 bits and consistently converges to ``near-supersingular'' ordinary curves with Frobenius traces remarkably close to zero: best NMD values of 19 at 40 bits and 3 at 51 bits, corresponding to relative trace deviations of $1.3\times 10^{-5}$ and $4.5\times 10^{-8}$ across the Hasse interval. These results demonstrate that NMD-driven memetic search effectively navigates the sparse $\mathbb{F}_p$ landscape and systematically locates near-supersingular structures.

cs.CR↗

Ceibaco: REST API and Single Page Application for the generation and evaluation of bijective S-boxes

In this paper we present the first REST API for the generation and evaluation of bijective S-boxes. We also present the first Single Page Application tool for researchers and students that allows the use of a graphical interface. We give a small dataset of classical S-boxes to test the properties evaluations. We show how to define experiments and we include two local search experiments into the proposed tool.

cs.CR↗

Local Search Trajectories over S-box Space

The study of S-box properties relations is an interesting problem. In this work we develop and apply a local search method to create trajectories over S-box space. These trajectories shows the existence of an strong linear correlation between confusion coefficient variance, Transparency Order, Modified Transparency Order and Revised Transparency Order, under the Hamming Weight model. When the values of Confusion Coefficient Variance increases then the values of Transparency Order, the values of Modified Transparency Order beta zero, and the values of Revised Transparency Order beta zero, decreases, reflecting the same theoretical resistance against to Side-Channel Attacks by power consumption. As far as we know, it is the first time that Local Search trajectories are used to discover relations between cryptography properties.

cs.CR↗