Ivan Fedotov | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Artem Barger
8 publications
Anton Khritankov
4 publications

research

∙ 12/04/2021

Towards automated verification of multi-party consensus protocols

Blockchain technology and related frameworks have recently received exte...

0 Ivan Fedotov, et al. ∙

research

∙ 09/07/2021

Statistical Model Checking of Common Attack Scenarios on Blockchain

Blockchain technology has developed significantly over the last decade. ...

0 Ivan Fedotov, et al. ∙