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

Liudmila Babenko, Ilya Pisarev

Browse the full SIN paper archive.