SearcharxivSearch

arXiv subjects

Anthony Fraga

Publications and source records attributed to Anthony Fraga.

2 recordsLinked to original sources

Constant-time decoding of Gabidulin codes and their generalizations with application to RQC

Gabidulin codes are a rank metric analog of Reed-Solomon codes. Although these codes are used in different very efficient rank-based cryptosystems like the RQC cryptosystem or the Loidreau cryptosystem, there was no constant-time implementation of Gabidulin codes, when having a constant-time implementation is crucial for real-life development of cryptosystems. In this paper, we propose the first constant-time decoding algorithm of Augmented Gabidulin (AG) codes, a simple variation on Gabidulin codes where one adds zero columns to Gabidulin codes, and which contains the case of Gabidulin codes. These AG codes are used in practice in the most efficient variations of the RQC cryptosystem. We prove that AG code decoding can be achieved with quadratic complexity. We further present a constant-time algorithm for the left division of $q$-polynomials along with a complete description of the AG code decoding procedure. These algorithms are integrated into the RQC-Block-MS-AG scheme, and we evaluate the performance of our implementation through benchmarks. Our results show that our implementation outperforms the original RQC, though it remains approximately four times slower than HQC. However, it achieves ciphertexts and key sizes about four times smaller, highlighting an appealing trade-off between performance and compactness.

cs.CR

Cellular complexes and embeddings into Euclidean spaces: M\"obius strip, torus, and projective plane

In algebraic topology, we usually represent surfaces by mean of cellular complexes. This representation is intrinsic, but requires to identify some points through an equivalence relation. On the other hand, embedding a surface in a Euclidean space is not intrinsic but does not require to identify points. In the present paper, we are interested in the M\"obius strip, the torus, and the real projective plane. More precisely, we construct explicit homeomorphisms, as well as their inverses, from cellular complexes to surfaces of 3-dimensional (for the M\"obius strip and the torus) and 4-dimensional (for the projective plane) Euclidean spaces. All the embeddings were already known, but we are not aware if explicit formulas for their inverses exist.

math.AT