11 citations · 14 across the 2 of their papers we have counts for
2 papers
cs.CR2021★ 3 cited
Towards automated verification of multi-party consensus protocols
Ivan Fedotov, Anton Khritankov, Artem Barger
Blockchain technology and related frameworks have recently received extensive attention. Blockchain systems use multi-party consensus protocols to reach agreements on transactions.…
cs.LO2021★ 11 cited
Statistical Model Checking of Common Attack Scenarios on Blockchain
Ivan Fedotov, Anton Khritankov
Blockchain technology has developed significantly over the last decade. One of the reasons for this is its sustainability architecture, which does not allow modification of the his…