Liudmila Babenko, Ilya Pisarev. Modeling replay and integrity violations attacks for cryptographic protocols source codes verification of e-voting system based on blind intermediaries. In Siddika Berna Örs, Atilla Elçi, editors, SIN 2020: 13th International Conference on Security of Information and Networks, Virtual Event / Istanbul, Turkey, November 4-6, 2020. ACM, 2020. [doi]
@inproceedings{BabenkoP20,
title = {Modeling replay and integrity violations attacks for cryptographic protocols source codes verification of e-voting system based on blind intermediaries},
author = {Liudmila Babenko and Ilya Pisarev},
year = {2020},
doi = {10.1145/3433174.3433597},
url = {https://doi.org/10.1145/3433174.3433597},
researchr = {https://researchr.org/publication/BabenkoP20},
cites = {0},
citedby = {0},
booktitle = {SIN 2020: 13th International Conference on Security of Information and Networks, Virtual Event / Istanbul, Turkey, November 4-6, 2020},
editor = {Siddika Berna Örs and Atilla Elçi},
publisher = {ACM},
isbn = {978-1-4503-8751-4},
}