Vytautas Tumas

According to our database, Vytautas Tumas authored at least 8 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Topology Analysis of the XRP Ledger.

Vytautas Tumas, Sean Rivera, Damien Magoni, Radu State

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Federated Byzantine Agreement Protocol Robustness to Targeted Network Attacks.

Vytautas Tumas, Sean Rivera, Damien Magoni, Radu State

Proceedings of the IEEE Symposium on Computers and Communications, 2023

A Ripple for Change: Analysis of Frontrunning in the XRP Ledger.

Vytautas Tumas, Beltran Borja Fiz Pontiveros, Christof Ferreira Torres, Radu State

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2023

2022

Topology Analysis of the XRP Network.

Vytautas Tumas, Sean Rivera, Damien Magoni, Radu State

CoRR, 2022

Probabilistic Edge Multicast Routing for the XRP Network.

Vytautas Tumas, Sean Rivera, Damien Magoni, Radu State

Proceedings of the IEEE Global Communications Conference, 2022

2020

VaVite: Verifiable Information Exchange for Virtual Asset Service Providers.

Vytautas Tumas, Robert Norvill, Damien Magoni, Radu State

Proceedings of the Principles, Systems and Applications of IP Telecommunications, 2020

2016

Tactics for the Dafny Program Verifier.

Gudmund Grov, Vytautas Tumas

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Mechanised Verification Patterns for Dafny.

Gudmund Grov, Yuhui Lin, Vytautas Tumas

Proceedings of the FM 2016: Formal Methods, 2016