Modeling replay and integrity violations attacks for cryptographic protocols source codes verification of e-voting system based on blind intermediaries

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]

Authors

Liudmila Babenko

This author has not been identified. Look up 'Liudmila Babenko' in Google

Ilya Pisarev

This author has not been identified. Look up 'Ilya Pisarev' in Google