Obserwuj
Evgeniy Shishkin
Evgeniy Shishkin
Independent researcher
Brak zweryfikowanego adresu e-mail - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Debugging smart contract’s business logic using symbolic model checking
E Shishkin
Programming and Computer Software 45 (8), 590-599, 2019
252019
Construction and formal verification of a fault-tolerant distributed mutual exclusion algorithm
E Shishkin
Proceedings of the 16th ACM SIGPLAN international workshop on Erlang, 1-12, 2017
72017
Verifying functional properties of smart contracts using symbolic model-checking
ES Shishkin
Trudy Instituta sistemnogo programmirovaniya RAN= Programming and Computer …, 2018
22018
SafeComp: Protocol for Certifying Cloud Computations Integrity
E Shishkin, E Kislitsyn
Programming and Computer Software 47 (8), 871-881, 2021
2021
Protocol for certifying cloud computations integrity
ES Shishkin, ES Kislitsyn
Proceedings of the Institute for System Programming of the RAS 32 (4), 115-132, 2020
2020
Протокол сертификации целостности облачных вычислений
ЕС Шишкин, ЕС Кислицын
Труды Института системного программирования РАН 32 (4), 115-132, 2020
2020
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–6