Login / Signup

On voting machine design for verification and testability.

Cynthia SturtonSusmit JhaSanjit A. SeshiaDavid A. Wagner
Published in: CCS (2009)
Keyphrases