Tactics for the Dafny program verifier G Grov, V Tumas International Conference on Tools and Algorithms for the Construction and …, 2016 | 10 | 2016 |
Topology analysis of the xrp network V Tumas, S Rivera, D Magoni, Radu State The 38th ACM/SIGAPP Symposium on Applied Computing (SAC'23), 2023 | 4 | 2023 |
Mechanised Verification Patterns for Dafny G Grov, Y Lin, V Tumas International Symposium on Formal Methods, 326-343, 2016 | 3 | 2016 |
Search space reduction for Tacny tactics V Tumas Honours thesis, Heriot-Watt University, 2016 | 2 | 2016 |
A Ripple for Change: Analysis of Frontrunning in the XRP Ledger V Tumas, BBF Pontiveros, CF Torres, R State 2023 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-9, 2023 | 1 | 2023 |
Extending the Dafny IDE with tactics and dead annotation analysis (tool demo) G Grov, Y Lin, L McGregor, V Tumas, D Cameron Third Workshop on Formal Integrated Development Environment, 2017 | 1 | 2017 |
Multi-layer Security Analysis of the XRP Ledger V Tumas Unilu-University of Luxembourg, Luxembourg, 2023 | | 2023 |
Federated Byzantine Agreement Protocol Robustness to Targeted Network Attacks V Tumas, S Rivera, D Magoni, R State 2023 IEEE Symposium on Computers and Communications (ISCC), 443-449, 2023 | | 2023 |
Topology Analysis of the XRP Ledger V Tumas, S Rivera, D Magoni, R State Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 1277-1284, 2023 | | 2023 |
Probabilistic Edge Multicast Routing for the XRP Network V Tumas, S Rivera, D Magoni, R State GLOBECOM 2022-2022 IEEE Global Communications Conference, 5129-5134, 2022 | | 2022 |
VaVite: Verifiable Information Exchange for Virtual Asset Service Providers V Tumas, R Norvill, D Magoni, R State 2020 Principles, Systems and Applications of IP Telecommunications (IPTComm …, 2020 | | 2020 |