Publications
International
2025
Public-key Cryptography Attacks Using Adiabatic Quantum Computer
- Weishen Zou, Bruno Martin, Thomas Prévost
- UCNC
- Extended abstract
A 10-bit S-box generated by Feistel construction from cellular automata
- Thomas Prévost, Bruno Martin
- AUTOMATA
- Exploratory paper
- https://univ-cotedazur.hal.science/hal-05141041v1/document
A secret spreading protocol for ETSI Quantum Key Distribution secured network based on a recursive secret sharing scheme
- Thomas Prévost, Bruno Martin, Olivier Alibart
- ICISSP
- 10.5220/0013077100003899
- https://www.scitepress.org/Papers/2025/130771/130771.pdf
An ETSI GS QKD compliant TLS implementation
- Thomas Prévost, Bruno Martin, Olivier Alibart
- SECRYPT
- 10.5220/0013564700003979
- https://univ-cotedazur.hal.science/hal-05116099v1/file/SECRYPT_2025_119_CR-3.pdf
- https://github.com/thomasarmel/qkd_kme_server
2024
Testing a Cellular Automata Construction Method to Obtain 9-variable Cryptographic Boolean Functions
- Thomas Prévost, Bruno Martin
- Journal of Cellular Automata
- 10.32908/jca.v18.100924
- https://arxiv.org/pdf/2501.09380
National
2025
MULTISS: un protocole de stockage confidentiel à long terme sur plusieurs réseaux QKD
- Thomas Prévost, Bruno Martin, Olivier Alibart
- RESSI
- https://univ-cotedazur.hal.science/hal-05085505v1/file/main.pdf
2024
Formal verification of the ETSI proposal on a standard QKD protocol
- Thomas Prévost, Bruno Martin, Olivier Alibart
- GTMFS
- https://univ-cotedazur.hal.science/hal-04624766v1/file/gt_mfs_paper.pdf
Vérification formelle de la proposition de l’ETSI sur un protocole de QKD
- Thomas Prévost, Bruno Martin, Olivier Alibart
- RESSI
- https://univ-cotedazur.hal.science/hal-04624746/file/ressi_conf_paper.pdf