Login / Signup
Ivan Fedotov
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 5
Top Topics
Initial State
Privacy Preserving Distributed Data Mining
Multi Issue
Attack Scenarios
Top Venues
SCSS
CoRR
BRAINS
ICSIM
</>
Publications
</>
Ivan Fedotov
,
Anton Khritankov
,
Artem Barger
Optimizing multi-party agreement protocols.
BRAINS
(2022)
Ivan Fedotov
,
Anton Khritankov
,
Artem Barger
Towards verification of probabilistic multi-party consensus protocols: Constructing algorithms for verification of multi-party protocols with probabilistic properties.
ICSIM
(2022)
Ivan Fedotov
,
Anton Khritankov
,
Artem Barger
Towards automated verification of multi-party consensus protocols.
CoRR
(2021)
Ivan Fedotov
,
Anton Khritankov
Statistical Model Checking of Common Attack Scenarios on Blockchain.
SCSS
(2021)
Maximilian Fickert
,
Ivan Gavran
,
Ivan Fedotov
,
Jörg Hoffmann
,
Rupak Majumdar
,
Wheeler Ruml
Choosing the Initial State for Online Replanning.
AAAI
(2021)