Publications
International
2026
A Case for Unifying Trusted Execution Environments
- Thomas Prévost, Pierre-Louis Aublin, Hajime Tazaki, Kuniyasu Suzaki
- TEE HAP workshop of DSN
- 10.1109/DSN-W70714.2026.00048
- https://lab.iisec.ac.jp/~suzaki_lab/PDF/DSN-HAP26-Pr%C2%B4evost.pdf
A 10-bit S-box generated by Feistel construction from cellular automata
- Thomas Prévost, Bruno Martin
- Journal of Complex Systems
- 10.25088/ComplexSystems.35.1.89
- https://content.wolfram.com/sites/13/2026/04/35-1-5.pdf
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 workshop
- 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
A 10-bit S-box generated by Feistel construction from cellular automata
- Thomas Prévost, Bruno Martin
- Cybersecurity in the Modern World: Current Challenges
- Odessa, Ukraine
- Paper
- Slides
MULTISS: un protocole de stockage confidentiel à long terme sur plusieurs réseaux QKD
- Thomas Prévost, Olivier Alibart, Marc Kaplan, Anne Marin
- 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