Vytautas Tumas

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 8

Top Topics

Multicast Routing

Service Providers

Information Exchange

Quantitative Analysis

Top Venues

Publications

Vytautas Tumas, Sean Rivera, Damien Magoni, Radu State
Topology Analysis of the XRP Ledger. SAC (2023)
Vytautas Tumas, Sean Rivera, Damien Magoni, Radu State
Federated Byzantine Agreement Protocol Robustness to Targeted Network Attacks. ISCC (2023)
Vytautas Tumas, Beltran Borja Fiz Pontiveros, Christof Ferreira Torres, Radu State
A Ripple for Change: Analysis of Frontrunning in the XRP Ledger. ICBC (2023)
Vytautas Tumas, Sean Rivera, Damien Magoni, Radu State
Probabilistic Edge Multicast Routing for the XRP Network. GLOBECOM (2022)
Vytautas Tumas, Sean Rivera, Damien Magoni, Radu State
Topology Analysis of the XRP Network. CoRR (2022)
Vytautas Tumas, Robert Norvill, Damien Magoni, Radu State
VaVite: Verifiable Information Exchange for Virtual Asset Service Providers. IPTComm (2020)
Gudmund Grov, Vytautas Tumas
Tactics for the Dafny Program Verifier. TACAS (2016)
Gudmund Grov, Yuhui Lin, Vytautas Tumas
Mechanised Verification Patterns for Dafny. FM (2016)