EDBT 2026 Demo / reviewers in the wild / expert
Nadia El Mrabet
dblp:21/7077
· DBLP profile ↗
19ranked-venue papers
3as first author
8since 2021 · last 2025
0000-0003-3840-584XORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 13 · 1 first-author · 5 since 2021Theory of computation · 4 · 2 first-author · 2 since 2021Systems, architecture and hardware · 1 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1Human-computer interaction and ubiquitous computing · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Optimizing and securing GLV multiplication over BLS pairings-friendly curves
Kamel Mohamed Faraoun, Nadia El Mrabet |
Des. Codes Cryptogr. | 2 |
| 2024 | Modular Multiplication in the AMNS Representation: Hardware Implementation
Louis Noyez, Nadia El Mrabet, Olivier Potin, Pascal Véron |
SAC (2) | 2 |
| 2024 | Exploiting ROLLO's constant-time implementations with a single-trace analysis
Agathe Cheriere, Lina Mortajine, Tania Richmond, Nadia El Mrabet |
Des. Codes Cryptogr. | 4 |
| 2024 | Montgomery Multiplication Scalable Systolic Designs Optimized for DSP48E2abstractThis article describes an extensive study of the use of DSP48E2 Slices in Ultrascale FPGAs to design hardware versions of the Montgomery Multiplication algorithm for the hardware acceleration of modular multiplications. Our fully scalable systolic architectures result in parallelized, DSP48E2-optimized scheduling of operations analogous to the FIOS block variant of the Montgomery Multiplication. We explore the impacts of different pipelining strategies within DSP blocks, scheduling of operations, processing element configurations, global design structures and their tradeoffs in terms of performance and resource costs. We discuss the application of our methodology to multiple types of DSP primitives. We provide ready-to-use fast, efficient, and fully parametrizable designs, which can adapt to a wide range of requirements and applications. Implementations are scalable to any operand width. Our most efficient designs can perform 128, 256, 512, 1024, 2048, and 4096 bits Montgomery modular multiplications in 0.0992 μs, 0.2032 μs, 0.3952 μs, 0.7792μs, 1.550 μs, and 3.099 μs using 4, 6, 11, 21, 41, and 82 DSP blocks, respectively. Louis Noyez, Nadia El Mrabet, Olivier Potin, Pascal Véron |
ACM Trans. Reconfigurable Technol. Syst. | 2 |
| 2022 | A software comparison of RNS and PMNSabstractThe Polynomial Modular Number System (PMNS) and the Residue Number System (RNS) are integer number systems which aim to speed up modular arithmetic. Their parallel properties make them suitable for the implementation of cryptographic applications on modern processors with SIMD instructions. In this work, we will show the implementation choices made for the modular multiplication in both systems and compare their implementation performances for several sizes of moduli. We target the Intel 64-bit sequential instruction set and the Intel AVX-512 vector instruction set. This instruction set allows significant speed-ups up to 1 621 bit size moduli, while the vectorized PMNS implementation is up to 2.5 times faster than the vectorized RNS, though the vectorized RNS becomes slightly better for 3 251 bits, due to the difficulty to find a PMNS with a suitable parameter$n$. The vectorized RNS implementations reach performance levels close the state-of-the-art GMP library, while the retired instruction counts are lower for sizes between 401 and 3 251 bits. Laurent-Stéphane Didier, Jean-Marc Robert 0003, Fangan-Yssouf Dosso, Nadia El Mrabet |
ARITH | 4 |
| 2022 | New Versions of Miller-loop Secured Against Side-Channel Attacks
Nadia El Mrabet, Loubna Ghammam, Nicolas Méloni, Emmanuel Fouotsa |
WAIFI | 1 |
| 2021 | Hardware Implementations of Pairings at Updated Security Levels
Arthur Lavice, Nadia El Mrabet, Alexandre Berzati, Jean-Baptiste Rigaud, Julien Proy |
CARDIS | 2 |
| 2021 | Two hardware implementations for modular multiplication in the AMNS: Sequential and semi-parallel
Asma Chaouch, Laurent-Stéphane Didier, Fangan-Yssouf Dosso, Nadia El Mrabet, Belgacem Bouallegue, Bouraoui Ouni |
J. Inf. Secur. Appl. | 4 |
| 2019 | Randomization of Arithmetic Over Polynomial Modular Number SystemabstractThe Polynomial Modular Number System (PMNS) is an integer number system designed to speed up arithmetic operations modulo a prime p. Such a system is defined by a tuple B = (p, n, γ, ρ, E) where E ε Z[X] and E(γ) = 0 mod p. In a PMNS, an element a of Z/pZ is represented by a polynomial A such that: A(γ) = a mod p, deg A <; n ||A||∞ <; p. In [6], the authors mentioned that PMNS can be highly redundant but they didn't really take advantage of this possibility. In this paper we use, for the first time, the redundancy of PMNS to protect algorithms against Side Channel Attacks (SCA). More precisely, we focus on elliptic curve cryptography. We show how to randomize the modular multiplication in order to be safe against existing SCA and we demonstrate the resistance of our construction. We describe the generation of a PMNS while guaranteeing, for all elements of Z/pZ, the minimum number of distinct representations we want. We also show how to reach all these representations. Laurent-Stéphane Didier, Fangan-Yssouf Dosso, Nadia El Mrabet, Jérémy Marrez, Pascal Véron |
ARITH | 3 |
| 2019 | Hardware Optimization on FPGA for the Modular Multiplication in the AMNS Representation
Asma Chaouch, Fangan-Yssouf Dosso, Laurent-Stéphane Didier, Nadia El Mrabet, Bouraoui Ouni, Belgacem Bouallegue |
CRiSIS | 4 |
| 2019 | Delegation of Computation Using FV Cryptosystem
Amina Bel Korchi, Nadia El Mrabet |
CRiSIS | 2 |
| 2019 | A Practical Use Case of Homomorphic EncryptionabstractThis paper is a proof of concept that homomorphic encryption can be deployed in practice and can be used by the industry to ensure security and computation of customer data. In this paper, we present a concrete use case of homomorphic encryption that is not considered in literature, using Fan and Vercauteren (FV) cryptosystem, and we propose a practical implementation of FV cryptosystem and its deployment in an IoT use case. Amina Bel Korchi, Nadia El Mrabet |
CW | 2 |
| 2016 | Improving Side-Channel Attacks Against Pairing-Based Cryptography
Damien Jauvart, Jacques J. A. Fournier, Nadia El Mrabet, Louis Goubin |
CRiSIS | 3 |
| 2016 | High-Performance Elliptic Curve Cryptography by Using the CIOS Method for Modular Multiplication
Amine Mrabet, Nadia El Mrabet, Ronan Lashermes, Jean-Baptiste Rigaud, Belgacem Bouallegue, Sihem Mesnager, Mohsen Machhout |
CRiSIS | 2 |
| 2014 | Practical Validation of Several Fault Attacks against the Miller AlgorithmabstractPairing based cryptography (PBC) is touted as an efficient approach to address usability and privacy issues in the cyberspace. Like most cryptographic algorithms, PBC must be robust not only against theoretical cryptanalysis but also against practical physical attacks such as fault injections. The computation of the Tate pairing can be divided into two parts, the Miller Algorithm and the Final Exponentiation. In this paper, we describe practical implementations of fault attacks against the Miller Algorithm validating common fault models used against pairings. In the light of the implemented fault attacks, we show that some blinding techniques proposed to protect the algorithm against Side-Channels Analyses cannot be used as countermeasures against the implemented fault attacks. Ronan Lashermes, Marie Paindavoine, Nadia El Mrabet, Jacques J. A. Fournier, Louis Goubin |
FDTC | 3 |
| 2012 | Efficient Multiplication over Extension Fields
Nadia El Mrabet, Nicolas Gama |
WAIFI | 1 |
| 2011 | Fault Attacks against the Miller Algorithm in Hessian Coordinates
Jiang Weng, Yunqi Dou, Chuangui Ma, Nadia El Mrabet |
Inscrypt | 4 |
| 2010 | A Variant of Miller's Formula and Algorithm
John Boxall, Nadia El Mrabet, Fabien Laguillaumie, Duc-Phong Le |
Pairing | 2 |
| 2009 | Finite Field Multiplication Combining AMNS and DFT Approach for Pairing Cryptography
Nadia El Mrabet, Christophe Nègre |
ACISP | 1 |