26 citations · 31 across the 2 of their papers we have counts for
2 papers
cs.LO2017★ 5 cited
Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol
Kaylash Chaudhary, Ansgar Fehnker, Vinay Mehta
This paper considers on a network routing protocol known as Better Approach to Mobile Ad hoc Networks (B.A.T.M.A.N.). The protocol serves two aims: first, to discover all bidirecti…
cs.LO2015★ 26 cited
Modeling and Verification of the Bitcoin Protocol
Kaylash Chaudhary, Ansgar Fehnker, Jaco van de Pol +1
Bitcoin is a popular digital currency for online payments, realized as a decentralized peer-to-peer electronic cash system. Bitcoin keeps a ledger of all transactions; the majority…