TY  - RPRT
TI  - Formalization and security analysis of the Bridgeless protocol
AU  - Orestis Alpos
AU  - Oleg Fomenko
AU  - Dimitris Karakostas
AU  - Oleksandr Kurbatov
AU  - Andrey Sabelnikov
PY  - 2025
UR  - https://arxiv.org/abs/2506.19730
ID  - 2506.19730
ER  -