arXiv Science⌕ Search

arXiv subjects

Bruno Martin

Publications and source records attributed to Bruno Martin.

At least 19 recordsLinked to original sources
arXiv2025

A 10-bit S-box generated by Feistel construction from cellular automata

We propose a new 10-bit S-box generated from a Feistel construction. The subpermutations are generated by a 5-cell cellular automaton based on a unique well-chosen rule and bijective affine transformations. In particular, the cellular automaton rule is chosen based on empirical tests of its ability to generate good pseudorandom output on a ring cellular automaton. Similarly, Feistel's network layout is based on empirical data regarding the quality of the output S-box. We perform cryptanalysis of the generated 10-bit S-box, and we find security properties comparable to or sometimes even better than those of the standard AES S-box. We believe that our S-box could be used to replace the 5-bit substitution of ciphers like ASCON.

cs.CR↗
arXiv2025

An ETSI GS QKD compliant TLS implementation

A modification of the TLS protocol is presented, using our implementation of the Quantum Key Distribution (QKD) standard ETSI GS QKD 014 v1.1.1. We rely on the Rustls library for this. The TLS protocol is modified while maintaining backward compatibility on the client and server side. We thus wish to participate in the effort to generalize the use of QKD on the Internet. We used our protocol for a video conference call encrypted by QKD. Finally, we analyze the performance of our protocol, comparing the time needed to establish a handshake to that of TLS 1.3.

cs.CR↗
arXiv2025

Testing a cellular automata construction method to obtain 9-variable cryptographic Boolean functions

We propose a method for constructing 9-variable cryptographic Boolean functions from the iterates of 5-variable cellular automata rules. We then analyze, for important cryptographic properties of 5-variable cellular automata rules, how they are preserved after extension to 9-variable Boolean functions. For each cryptographic property, we analyze the proportion of 5-variable cellular automata rules that preserve it for each of the 48 affine equivalence classes.

cs.CR↗
arXiv2023

Reversible primes

For an $n$-bit positive integer $a$ written in binary as $$ a = \sum_{j=0}^{n-1} \varepsilon_{j}(a) \,2^j $$ where, $\varepsilon_j(a) \in \{0,1\}$, $j\in\{0, \ldots, n-1\}$, $\varepsilon_{n-1}(a)=1$, let us define $$ \overleftarrow{a} = \sum_{j=0}^{n-1} \varepsilon_j(a)\,2^{n-1-j}, $$ the digital reversal of $a$. Also let $\mathcal{B}_n = \{2^{n-1}\leq a<2^n:~a \text{ odd}\}.$ With a sieve argument, we obtain an upper bound of the expected order of magnitude for the number of $p \in \mathcal{B}_n$ such that $p$ and $\overleftarrow{p}$ are prime. We also prove that for sufficiently large $n$, $$ \left|\{a \in \mathcal{B}_n:~ \max \{\Omega (a), \Omega (\overleftarrow{a})\}\le 8 \}\right| \ge c\, \frac{2^n}{n^2}, $$ where $\Omega(n)$ denotes the number of prime factors counted with multiplicity of $n$ and $c > 0$ is an absolute constant. Finally, we provide an asymptotic formula for the number of $n$-bit integers $a$ such that $a$ and $\overleftarrow{a}$ are both squarefree. Our method leads us to provide various estimates for the exponential sum $$ \sum_{a \in \mathcal{B}_n} \exp\left(2\pi i (\alpha a + \vartheta \overleftarrow{a})\right) \quad(\alpha,\vartheta \in\mathbb{R}). $$

math.NT↗
arXiv2023

On the friable mean-value of the Erd\H{o}s-Hooley Delta function

For integer $n$ and real $u$, define $\Delta(n,u):= |\{d : d \mid n,\,{\rm e}^u <d\leqslant {\rm e}^{u+1} \}|$. Then, put $ \Delta(n):=\max_{u\in{\mathbb R}} \Delta(n,u).$ We provide uniform upper and lower bounds for the mean-value of $\Delta(n)$ over friable integers, i.e. integers free of large prime factors.

math.NT↗
arXiv2022

Exchanging Keys with Authentication and Identity Protection for Secure Voice Communication without Side-channel

Motivated by an increasing need for privacy-preserving voice communications, we investigate here the original idea of sending encrypted data and speech in the form of pseudo-speech signals in the audio domain. Being less constrained than military ``Crypto Phones'' and allowing genuine public evaluation, this approach is quite promising for public unsecured voice communication infrastructures, such as 3G cellular network and VoIP.A cornerstone of secure voice communications is the authenticated exchange of cryptographic keys with sole resource the voice channel, and neither Public Key Infrastructure (PKI) nor Certificate Authority (CA). In this paper, we detail our new robust double authentication mechanism based on signatures and Short Authentication Strings (SAS) ensuring strong authentication between the users while mitigating errors caused by unreliable voice channels and also identity protection against passive eavesdroppers. As symbolic model, our protocol has been formally proof-checked for security and fully validated by Tamarin Prover.

cs.CR↗
arXiv2022

Performance and limitations of dual-comb based ranging systems

Dual-comb LiDARs have the potential to perform high-resolution ranging at high speed. Here, through an implementation involving electro-optic modulators and heterodyne detection, we quantify the ranging systems trade-off between precision and non-ambiguity range (NAR) using a unique performance factor. We highlight the influence of the comb amplitude envelope on the precision with a distance measurement limited by the repetition rate of the optical comb. The influence of the combs repetition rate on the NAR and on the precision is illustrated through a setup allowing distance measurement with a tunable NAR. Finally, we demonstrate the impossibility to resolve different targets, quantify the impact on the measured distance and develop on the conditions in which non-linear effects of the interference make the measurement impossible.

physics.optics↗
arXiv2021

Introducing a Novel Data over Voice Technique for Secure Voice Communication

The current increasing need for privacy-preserving voice communications is leading to new ideas for securing voice transmission. This paper refers to a relatively new concept of sending encrypted data or speech as pseudo-speech in the audio domain over existing voice communication infrastructures, like 3G cellular network and Voice over IP (VoIP). The distinctive characteristic of such a communication system is that it relies on the robust transmission of binary information in the form of audio signal. This work presents a novel Data over Voice (DoV) technique based on codebooks of short harmonic waveforms. The technique provides a sufficiently fast and reliable data rate over cellular networks and many VoIP applications. The new method relies on general principles of Linear Predictive Coding for voice compression (LPC voice coding) and is more versatile compared to solutions trained on exact channel models. The technique gives by design a high control over the desired rate of transmission and provides robustness to channel distortion. In addition, an efficient codebook design approach inspired by quaternary error correcting codes is proposed. The usability of the proposed DoV technique for secure voice communication over cellular networks and VoIP has been successfully validated by empirical experiments. The paper details the system parameters, putting a special emphasis on system's security and technical challenges.

cs.CR↗
arXiv2021

Introducing an experimental distortion-tolerant speech encryption scheme for secure voice communication

The current increasing need for privacy-preserving voice communications is leading to new ideas for securing voice transmission. This paper refers to a relatively new concept of sending encrypted speech as pseudo-speech in the audio domain over digital voice communication infrastructures, like 3G cellular network and VoIP. This work presents a novel distortion-tolerant speech encryption scheme for secure voice communications over voice channels that combines the robustness of analog speech scrambling and elevated security offered by digital ciphers like AES-CTR. The system scrambles vocal parameters of a speech signal (loudness, pitch, timbre) using distance-preserving pseudo-random translations and rotations on a hypersphere of parameters. Next, scrambled parameters are encoded to a pseudo-speech signal adapted to transmission over digital voice channels equipped with voice activity detection. Upon reception of this pseudo-speech signal, the legitimate receiver restores distorted copies of the initial vocal parameters. Despite some deciphering errors, an integrated neural-based vocoder based on the LPCNet architecture reconstructs an intelligible speech. The experimental implementation of this speech encryption scheme has been tested by simulations and sending an encrypted signal over FaceTime between two iPhones 6 connected to the same WiFi network. Moreover, speech excerpts restored from encrypted signals were evaluated by a speech quality assessment on a group of about 40 participants. The experiments demonstrated that the proposed scheme produces intelligible speech with a gracefully progressive quality degradation depending on the channel noise. Finally, the preliminary computational analysis suggested that the presented setting may operate on high-end portable devices in nearly real-time.

cs.CR↗
arXiv2017

On the non-vanishing of certain Dirichlet series

Given $k\in\mathbb N$, we study the vanishing of the Dirichlet series $$D_k(s,f):=\sum_{n\geq1} d_k(n)f(n)n^{-s}$$ at the point $s=1$, where $f$ is a periodic function modulo a prime $p$. We show that if $(k,p-1)=1$ or $(k,p-1)=2$ and $p\equiv 3\mod 4$, then there are no odd rational-valued functions $f\not\equiv 0$ such that $D_k(1,f)=0$, whereas in all other cases there are examples of odd functions $f$ such that $D_k(1,f)=0$. As a consequence, we obtain, for example, that the set of values $L(1,\chi)^2$, where $\chi$ ranges over odd characters mod $p$, are linearly independent over $\mathbb Q$.

math.NT↗
arXiv2016

Universality of causal graph dynamics

Causal Graph Dynamics generalize Cellular Automata, extending them to bounded degree, time varying graphs. The dynamics rewrite the graph at each time step with respect to two physics-like symmetries: causality (bounded speed of information) and homogeneity (the rewriting acts the same everywhere on the graph, at every time step). Universality is the ability simulating every other instances of another (or the same) model of computation. In this work, we study three different notions of simulation for Causal Graph Dynamics, each of them leading to a definition of universality.

cs.DM↗
arXiv2015

Multifractal analysis of the Brjuno function

We determine the $1$-exponent (according to the Calder\'on-Zygmund definition) of the Brjuno function $B$ everywhere, thus showing that it is a new example of multifractal function. We also discuss various notions of pointwise regularity of the function $B$.

math.NT↗
arXiv2015

Sur une \'equation fonctionnelle approch\'ee due \`a J. R. Wilton

We give a new proof of an approximate functional equation, due to J. R. Wilton, for a trigonometric sum involving the divisor function. This allows us to improve on Wilton's error term and to give an explicit formula for an unspecified function involved in the functional equation.

math.NT↗
arXiv2013

Intrinsic Universality of Causal Graph Dynamics

Causal graph dynamics are transformations over graphs that capture two important symmetries of physics, namely causality and homogeneity. They can be equivalently defined as continuous and translation invariant transformations or functions induced by a local rule applied simultaneously on every vertex of the graph. Intrinsic universality is the ability of an instance of a model to simulate every other instance of the model while preserving the structure of the computation at every step of the simulation. In this work we present the construction of a family of intrinsically universal instances of causal graphs dynamics, each instance being able to simulate a subset of instances.

cs.DM↗
arXiv2013

Sur l'autocorrélation multiplicative de la fonction "partie fractionnaire" et une fonction définie par J. R. Wilton

We describe the points of diff erentiability of the multiplicative autocorrelation function of the "fractional part" function. In connection with this question, we study series involving the fi rst Bernoulli function, the arithmetical function "number of divisors", and the Gauss map from the theory of continued fractions. A key role is played by a function defi ned in 1933 by J. R. Wilton, similar to the Brjuno function of dynamical systems theory. A unifying theme of our exposition is the use of functional equations involving the Gauss map, allowing us to reprove and re fine a theorem of Wilton, la Bretèche and Tenenbaum.

math.NT↗