Login / Signup
Ilya Pisarev
ORCID
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 7
Top Topics
Cryptographic Protocols
Electronic Voting
Blind Signature
Homomorphic Encryption
Top Venues
SIN
CyberC
DeSE
ICICT (2)
</>
Publications
</>
Liudmila Babenko
,
Ilya Pisarev
Modeling replay and integrity violations attacks for cryptographic protocols source codes verification of e-voting system based on blind intermediaries.
SIN
(2020)
Liudmila Babenko
,
Ilya Pisarev
,
Elena Popova
Cryptographic protocols implementation security verification of the electronic voting system based on blind intermediaries.
SIN
(2019)
Liudmila Babenko
,
Ilya Pisarev
E-Voting System Based on Multiple Ballot Casting.
ICICT (2)
(2019)
Liudmila Babenko
,
Ilya Pisarev
Automated Verification of Cryptographic Protocol Implementations.
DeSE
(2019)
Liudmila Babenko
,
Ilya Pisarev
Distributed E-Voting System Based On Blind Intermediaries Using Homomorphic Encryption.
SIN
(2018)
Liudmila Babenko
,
Ilya Pisarev
Security Analysis of the Electronic Voting Protocol Based on Blind Intermediaries Using the SPIN Verifier.
CyberC
(2018)
Liudmila Babenko
,
Ilya Pisarev
,
Oleg B. Makarevich
A model of a secure electronic voting system based on blind intermediaries using russian cryptographic algorithms.
SIN
(2017)