Ilya Pisarev
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2017–2020
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | SIN | Modeling replay and integrity violations attacks for cryptographic protocols source codes verification of e-voting system based on blind intermediaries. | Liudmila Babenko, Ilya Pisarev |
| 2019 | DeSE | Automated Verification of Cryptographic Protocol Implementations. | Liudmila Babenko, Ilya Pisarev |
| 2019 | SIN | Cryptographic protocols implementation security verification of the electronic voting system based on blind intermediaries. | Liudmila Babenko, Ilya Pisarev, Elena Popova |
| 2018 | SIN | Distributed E-Voting System Based On Blind Intermediaries Using Homomorphic Encryption. | Liudmila Babenko, Ilya Pisarev |
| 2017 | SIN | A model of a secure electronic voting system based on blind intermediaries using russian cryptographic algorithms. | Liudmila Babenko, Ilya Pisarev, Oleg B. Makarevich |