Mechanised Verification Patterns for Dafny. - Gudmund Grov; Yuhui Lin; Vytautas Tumas (FM, 2016)

Tactics for the Dafny Program Verifier. - Gudmund Grov; Vytautas Tumas (TACAS, 2016)

VaVite: Verifiable Information Exchange for Virtual Asset Service Providers. - Vytautas Tumas; Robert Norvill; Damien Magoni; Radu State (IPTComm, 2020)

Probabilistic Edge Multicast Routing for the XRP Network. - Vytautas Tumas; Sean Rivera; Damien Magoni; Radu State (GLOBECOM, 2022)

Topology Analysis of the XRP Network. - Vytautas Tumas; Sean Rivera; Damien Magoni; Radu State (CoRR, 2022)

A Ripple for Change: Analysis of Frontrunning in the XRP Ledger. - Vytautas Tumas; Beltran Borja Fiz Pontiveros; Christof Ferreira Torres; Radu State (ICBC, 2023)

Federated Byzantine Agreement Protocol Robustness to Targeted Network Attacks. - Vytautas Tumas; Sean Rivera; Damien Magoni; Radu State (ISCC, 2023)

Topology Analysis of the XRP Ledger. - Vytautas Tumas; Sean Rivera; Damien Magoni; Radu State (SAC, 2023)

The AMMazing Frontrunner: Practical Frontrunning on the XRP Ledger Automated Market Maker. - Vytautas Tumas; Aanchal Malhotra (ICBC, 2024)