Cryptographic protocols implementation security verification of the electronic voting system based on blind intermediaries.

Liudmila Babenko, Ilya Pisarev, Elena Popova

Browse the full SIN paper archive.