A modular multi-modal specification of real-timed, end-to-end voter-verifiable voting systems.

Simon Kramer, Peter Y. A. Ryan

Browse the full RE paper archive.