Ilya Pisarev

According to our database, Ilya Pisarev authored at least 7 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2020

Modeling replay and integrity violations attacks for cryptographic protocols source codes verification of e-voting system based on blind intermediaries.

Liudmila Babenko, Ilya Pisarev

Proceedings of the SIN 2020: 13th International Conference on Security of Information and Networks, 2020

2019

Cryptographic protocols implementation security verification of the electronic voting system based on blind intermediaries.

Liudmila Babenko, Ilya Pisarev, Elena Popova

Proceedings of the 12th International Conference on Security of Information and Networks, 2019

E-Voting System Based on Multiple Ballot Casting.

Liudmila Babenko, Ilya Pisarev

Proceedings of the Fourth International Congress on Information and Communication Technology, 2019

Automated Verification of Cryptographic Protocol Implementations.

Liudmila Babenko, Ilya Pisarev

Proceedings of the 12th International Conference on Developments in eSystems Engineering, 2019

2018

Distributed E-Voting System Based On Blind Intermediaries Using Homomorphic Encryption.

Liudmila Babenko, Ilya Pisarev

Proceedings of the 11th International Conference on Security of Information and Networks, 2018

Security Analysis of the Electronic Voting Protocol Based on Blind Intermediaries Using the SPIN Verifier.

Liudmila Babenko, Ilya Pisarev

Proceedings of the International Conference on Cyber-Enabled Distributed Computing and Knowledge Discovery, 2018

2017

A model of a secure electronic voting system based on blind intermediaries using russian cryptographic algorithms.

Liudmila Babenko, Ilya Pisarev, Oleg B. Makarevich

Proceedings of the 10th International Conference on Security of Information and Networks, 2017