Shishkin Evgeniy Sergeevich

Publications in Math-Net.Ru

1. Protocol for certifying cloud computations integrity
   
   Proceedings of ISP RAS, 32:4 (2020),  115–132
2. Verifying functional properties of smart contracts using symbolic model-checking
   
   Proceedings of ISP RAS, 30:5 (2018),  265–288