A model of a secure electronic voting system based on blind intermediaries using russian cryptographic algorithms. - Liudmila Babenko; Ilya Pisarev; Oleg B. Makarevich (SIN, 2017)

Security Analysis of the Electronic Voting Protocol Based on Blind Intermediaries Using the SPIN Verifier. - Liudmila Babenko; Ilya Pisarev (CyberC, 2018)

Distributed E-Voting System Based On Blind Intermediaries Using Homomorphic Encryption. - Liudmila Babenko; Ilya Pisarev (SIN, 2018)

Automated Verification of Cryptographic Protocol Implementations. - Liudmila Babenko; Ilya Pisarev (DeSE, 2019)

E-Voting System Based on Multiple Ballot Casting. - Liudmila Babenko; Ilya Pisarev (ICICT (2), 2019)

Cryptographic protocols implementation security verification of the electronic voting system based on blind intermediaries. - Liudmila Babenko; Ilya Pisarev; Elena Popova (SIN, 2019)

Modeling replay and integrity violations attacks for cryptographic protocols source codes verification of e-voting system based on blind intermediaries. - Liudmila Babenko; Ilya Pisarev (SIN, 2020)