Road to paper
Concept: Present Identification Scheme with Short Secrets, applicable to E-Voting
Milestone 1 (Writing the paper):
-
Map report to paper-suitable structure (F) -
Write introduction chapter (R/P) -
Rework Discrete Log definitions (Group, Hardness assumptions, ...) (R/P) -
Improve protocol description layout (F) -
Write Parameter chapter (F + R/P) -
Write conclusions chapter (R/P) -
Write abstract (R/P)
Milestone 2 (Further research; all optional):
-
Devise tighter reduction proof -
Do Tamarin formal proof -
Choose specific curve upon which implementation is feasible -
Do PoC with pairing implementation -
Implement scheme into OpenCHVote -
Formally proof authentication properties of AND composition
Milestone 3 (Review):
-
Ask Dennis & Julia for review of proofs (F) -
Ask Kenny Paterson for review of claims within pairing (F)sch
Edited by moserfl