Formalization and security analysis of the Bridgeless protocol. - Orestis Alpos; Oleg Fomenko; Dimitris Karakostas; Oleksandr Kurbatov; Andrey Sabelnikov (CoRR, 2025)