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]
Abstract is missing.