|
|
Publications in Math-Net.Ru |
Citations |
|
2020 |
1. |
E. S. Shishkin, E. S. Kislitsyn, “Protocol for certifying cloud computations integrity”, Proceedings of ISP RAS, 32:4 (2020), 115–132 |
|
2018 |
2. |
E. S. Shishkin, “Verifying functional properties of smart contracts using symbolic model-checking”, Proceedings of ISP RAS, 30:5 (2018), 265–288 |
1
|
|