VLDB 2026 Research / reviewers in the wild / expert
Víctor Mateu
dblp:33/9991
· DBLP profile ↗
11ranked-venue papers
1as first author
6since 2021 · last 2024
0000-0003-3167-6081ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 5 · 3 since 2021Computer networks · 3 · 1 first-author · 2 since 2021Systems, architecture and hardware · 2 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Automated Issuance of Post-Quantum Certificates: A New Challenge
Alexandre A. Giron, Frederico Schardong, Lucas Pandolfo Perin, Ricardo Felipe Custódio, Victor Valle, Víctor Mateu |
ACNS (2) | 6 |
| 2024 | Comparative study of novel packet loss analysis and recovery capability between hybrid TLI-µTESLA and other variant TESLA protocolsabstractAnalyzing packet loss, whether resulting from communication challenges or malicious attacks, is vital for broadcast authentication protocols. It ensures legitimate and continuous authentication across networks. While previous studies have mainly focused on countering Denial of Service (DoS) attacks' impact on packet loss, our research introduces an innovative investigation into packet loss and develops data recovery within variant TESLA protocols. We highlight the efficacy of our proposed hybrid TLI-µTESLA protocol in maintaining continuous and robust connections among network members, while maximizing data recovery in adverse communication conditions. The study examines the unique packet structures associated with each TESLA protocol variant, emphasizing the implications of losing each type on the network performance. We also introduce modifications to variant TESLA protocols to improve data recovery and alleviate the effects of packet loss. Using Java programming language, we conducted simulation analyses that illustrate the adaptability of variant TESLA protocols in recovering lost packet keys and authenticating previously buffered packets, all while maintaining continuous and robust authentication between network members. Our findings also underscore the superiority of the hybrid TLI-µTESLA protocol in terms of packet loss performance and data recovery, alongside its robust cybersecurity features, including confidentiality, integrity, availability, and accessibility. Additionally, we demonstrated the efficiency of our proposed protocol in terms of low computational and communication requirements compared to earlier TESLA protocol variants, as outlined in previous publications. Khouloud Eledlebi, Ahmed Adel Alzubaidi, Ernesto Damiani, Víctor Mateu, Yousof Al-Hammadi, Deepak Puthal, Chan Yeob Yeun |
Ad Hoc Networks | 4 |
| 2024 | Bio-Integrated Hybrid TESLA: A Fully Symmetric Lightweight Authentication ProtocolabstractThe rapid integration of IoT devices into everyday decision-making processes underscores the need for continuous user authentication and data integrity checking during network communication, all while minimizing energy consumption to extend device lifespan. This paper introduces the Bio-Integrated Hybrid TESLA protocol, which is a fully symmetric and energy-efficient authentication protocol designed for resource-constrained IoT devices. Based on the Hybrid TLI-lTESLA protocol, this innovative solution prioritizes high cybersecurity levels and minimal computational requirements for continuous authentication. An innovative advancement involves eliminating the public cryptography process during the synchronization stage of TESLA protocols. Instead, biometric authentication through distorted fingerprint and EEG templates is employed, to establish a non-shared symmetric session key, utilized only once. Furthermore, neither the key nor the original biometric templates are transmitted over the network, ensuring user identity preservation and effectively resolving the key distribution challenge inherent in symmetric cryptography. By offloading intensive tasks to servers and avoiding the storage or transmission of biometric data, the proposed approach conserves IoT device energy and enhances cybersecurity. Simulation analyses and cybersecurity assessments demonstrate successful synchronization, privacy preservation, and low computational demands compared to existing protocols, making the Bio-Integrated Hybrid TESLA protocol a significant advancement in IoT authentication. Khouloud Eledlebi, Ahmed Adel Alzubaidi, Ernesto Damiani, Deepak Puthal, Víctor Mateu, Mohamed Jamal Zemerly, Yousof Al-Hammadi, Chan Yeob Yeun |
IEEE Internet Things J. | 5 |
| 2023 | Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic CodeabstractAlthough cryptographic algorithms may be mathematically secure, it is often possible to leak secret information from the implementation of the algorithms. Timing and power side-channel vulnerabilities are some of the most widely considered threats to cryptographic algorithm implementations. Timing vulnerabilities may be easier to detect and exploit, and all high-quality cryptographic code today should be written in constant-time style. However, this does not prevent power side-channels from existing. With constant time code, potential attackers can resort to power side-channel attacks to try leaking secrets. Detecting potential power side-channel vulnerabilities is a tedious task, as it requires analyzing code at the assembly level and needs reasoning about which instructions could be leaking information based on their operands and their values. To help make the process of detecting potential power side-channel vulnerabilities easier for cryptographers, this work presents Pascal: Power Analysis Side Channel Attack Locator, a tool that introduces novel symbolic register analysis techniques for binary analysis of constant-time cryptographic algorithms, and verifies locations of potential power side-channel vulnerabilities with high precision. Pascal is evaluated on a number of implementations of post-quantum cryptographic algorithms, and it is able to find dozens of previously reported single-trace power side-channel vulnerabilities in these algorithms, all in an automated manner. Ferhat Erata, Ruzica Piskac, Víctor Mateu, Jakub Szefer |
EuroS&P | 3 |
| 2023 | Code-based signatures from new proofs of knowledge for the syndrome decoding problem
Loïc Bidoux, Philippe Gaborit, Mukul Kulkarni, Víctor Mateu |
Des. Codes Cryptogr. | 4 |
| 2021 | Modular Inverse for Integers using Fast Constant Time GCD Algorithm and its ApplicationsabstractModular inversion, the multiplicative inverse of an integer in the ring of integers modulo a prime number, is widely used in public-key cryptography. However, it is one of the most computationally intensive operations, thus, it remains the main performance bottleneck for many cryptographic algorithms.This paper presents to the best of the author’s knowledge, the first FPGA-based hardware design for computing the multiplicative inverse using the recently proposed fast constant-time Greatest Common Divisor (GCD) algorithm. This paper introduces two distinct design architectures targeting different applications: (a) a full-width design and (b) a sequential design. The presented designs are compact, parameterizable, and scalable in terms of area and speed. The evaluation shows the proposed designs, which are constant-time and protect against timing-based attacks, outperform existing software and hardware implementations that use other modular inversion techniques. As a specific example, this work presents an evaluation focusing on the use of the multiplicative inverse hardware module to accelerate the ElGamal cryptosystem. The proposed design achieves a speed-up of 90% in the modular inverse calculation and a speed-up of 45% in the overall ElGamal decryption algorithm using our sequential hardware design of fast constant-time GCD algorithm.In addition to developing the fast hardware implementation, this work potentially opens up a new direction for designing cryptosystems: the inverse operation is often avoided when designing algorithms, due to its complexity. With the new hardware module, using the inverse becomes more tractable, making it more appealing to use in the design of new cryptosystems. Sanjay Deshpande, Santos Merino Del Pozo, Víctor Mateu, Marc Manzano, Najwa Aaraj, Jakub Szefer |
FPL | 3 |
| 2020 | Enhancing Code Based Zero-Knowledge Proofs Using Rank Metric
Emanuele Bellini 0002, Philippe Gaborit, Alexandros Hasikos, Víctor Mateu |
CANS | 4 |
| 2019 | Advances and Challenges of Rank Metric Cryptography ImplementationsabstractRecent works on reducing the size of Error Correcting Codes have investigated the usage of rank metric instead of Hamming metric. Numerous proposals for the NIST Post-Quantum Cryptography competition, including four second round candidates, rely on these codes. In this paper, we discuss several non-trivial issues when porting these schemes into real-world systems on different platforms, such as Intel x86, Armv6 and Armv8. We provide insights on how to implement the underlying finite field and polynomial arithmetic, or the generation of errors of a given rank in constant-time, and report execution time of several rank-based cryptosystems, showing that the achieved performance is similar to those of some of the most popular lattice-based cryptosystems. Emanuele Bellini 0002, Florian Caullery, Rusydi H. Makarim, Marc Manzano, Chiara Marcolla, Víctor Mateu |
ICCD | 6 |
| 2019 | Improved Veron Identification and Signature Schemes in the Rank MetricabstractIt is notably challenging to design an efficient and secure signature scheme based on error-correcting codes. An approach to build such signature schemes is to derive it from an identification protocol through the Fiat-Shamir transform. All such protocols based on codes must be run several rounds, since each run of the protocol allows a cheating probability of either 2/3 or 1/2. The resulting signature size is proportional to the number of rounds, thus making the 1/2 cheating probability version more attractive. We present a signature scheme based on double circulant codes in the rank metric, derived from an identification protocol with cheating probability of 2/3. We reduced this probability to almost 1/2 to obtain the smallest signature among code-based signature schemes based on the Fiat-Shamir paradigm, around 22 KBytes for 128 bit security level. Furthermore, among all code-based signature schemes, our proposal has the lowest value of signature plus public key size, and the smallest secret and public key sizes. We provide a security proof in the Random Oracle Model, implementation performances, and a comparison with the parameters of similar signature schemes. Emanuele Bellini 0002, Florian Caullery, Philippe Gaborit, Marc Manzano, Víctor Mateu |
ISIT | 5 |
| 2018 | Code-Based Signature Schemes from Identification Protocols in the Rank Metric
Emanuele Bellini 0002, Florian Caullery, Alexandros Hasikos, Marc Manzano, Víctor Mateu |
CANS | 5 |
| 2014 | Constructing credential-based E-voting systems from offline E-coin protocols
Víctor Mateu, Francesc Sebé, Magda Valls |
J. Netw. Comput. Appl. | 1 |