most citedStatistical Model Checking of Common Attack Scenarios on Blockchain

11 citations · 11 across the 1 of their papers we have counts for

collaborators

1 paper

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…