Login / Signup

Verification of Verifiability of Voting Protocols by Strand Space Analysis.

Shigeki HagiharaMasaya ShimakawaNaoki Yonezaki
Published in: ICSCA (2019)
Keyphrases
  • model checking
  • motion estimation
  • end to end
  • compression ratio