Maxime Just has presented his paper ‘Privacy-Preserving Verifiable Data Registries: A Formal Analysis of Blockchain and DHT-Based Architectures’, which was accepted at SSS 2026 (https://sss2026.conf.lip6.fr/). This work was supervised by Elise Jeanneau and Eddy Caron.