A Tamper-Evident Voting Machine Resistant to Covert Channels.

Wei Han, Tao Hao, Dong Zheng, Kefei Chen, Xiaofeng Chen

Browse the full ProvSec paper archive.