@ARTICLE{2025arXiv250307200F,
    author = {{Fabia\'nski}, Grzegorz and {Stefa\'nski}, Rafa{\l} and {Stefanos Thyfronitis Litos}, Orfeas},
    title = {{A Formally Verified Lightning Network}},
    journal = {arXiv e-prints},
    keywords = {Cryptography and Security, Logic in Computer Science},
    year = {2025},
    month = {mar},
    eid = {arXiv:2503.07200},
    pages = {arXiv:2503.07200},
    doi = {10.48550/arxiv.2503.07200},
    archiveprefix = {arXiv},
    eprint = {2503.07200},
    primaryclass = {cs.CR},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2025arXiv250307200F},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    date-added = {2025-4-5 9:3:6 +0100}
}

@ARTICLE{2025arXiv250307200F, author = {{Fabia\'nski}, Grzegorz and {Stefa\'nski}, Rafa{\l} and {Stefanos Thyfronitis Litos}, Orfeas}, title = {{A Formally Verified Lightning Network}}, journal = {arXiv e-prints}, keywords = {Cryptography and Security, Logic in Computer Science}, year = {2025}, month = {mar}, eid = {arXiv:2503.07200}, pages = {arXiv:2503.07200}, doi = {10.48550/arxiv.2503.07200}, archiveprefix = {arXiv}, eprint = {2503.07200}, primaryclass = {cs.CR}, adsurl = {https://ui.adsabs.harvard.edu/abs/2025arXiv250307200F}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, date-added = {2025-4-5 9:3:6 +0100} }