Wi Voter i iii opium Bob 3_ Requirements 1 Verifiable - - PDF document
Sch SAC Su mmer Part I Enhance Can Democracy Crypto Concordia University Clerk Agenda 1 Requirements backend basic 1947 CGS 2 Ballots Votiable Human 3 t resistance JCJ 2005 Coercion Requirements Preliminaries Fi Enety
SAC
Su
mmer
Sch
Can
Crypto Enhance
Democracy
Part
I
Clerk
Concordia University
Agenda
1
Requirements
2
CGS 1947
basic
backend
3
Human
Votiable
Ballots
t JCJ
2005 Coercion
resistance
Requirements
Preliminaries
Enety
i Verify
i
Oo
ii
Voter
i
Bob
3_
Requirements
1
Independently
Verifiable
tally
integrity
soundness
etc
correct
2
Ballot
secrecy
receipt
free
coercion
resistant
etc
Transcript
Tully
Tully
cornet
Anytime
JCJ
Others
situational
Dispute resolution
intern
accountability Indecent
smeltaneity
uperio
Fairness
no
running tally
Robust
unconditional
submit
U go
Crypto
to olbox
Homeomorphic encryption
2 Kps
Ring Signatures
Mix
networks
anonymous
credentials
MPC
commitments cut
choose
secret sharing
transfer
blind
signatures
etc etc
200 papers
proposing
v tiny
systems
CGS
1997_
Cramer
Gennaro
schoenmakers Euroc yet
it
Eno
v
voter
Enc pk
v r
Ev
public key
EA
3
5
Distributed key General
PKG
Threshold
decryption
CPA
secure
Additively
Homomorphic
a
b
atb
a
r a r
a3
Exponigand
Rainier
BGN
B.by
I
cos
Co
Ncaa
I
Co
D
EA b
r
Mui
4
4
4
Yes
3
Nu
JT
v
encrypts
I
given
c
ca
Ency
nir
Ngs
Cgr
gm y
X Lg
y
c
ca gv
5
DDH
trek
iff
v
Cg y
a
calgo
g y
a
Ghg
is
DDH
tuple
i
c
Al
ie
O
Teo.is
d
Bob
Tsun
n rt
I
Tiso.is David
Eo
am
sd z
Dawn
b
C
4
Icehouse
fixed
Alternative
Mixing Pika3
Chu81 Sk95
B B
cos
D
sfhuff.ie MiX
Any
candidate
Leven
write in
Perm
No voter
ZKP
Summery
Integrity
Basic
secrecy
randomize
BB
CD
Human
Voteable
The
r
n
ez Bn
i wed
I I
counted
as cast
dispute
Scantegrity Different
Backend TEE
t
commitments
c f
Eperio
slides
Internet
Voting
Same
requirements
1
untrusted
platform
coercion
resistance JCT
t
Dus
JCJOS
Jails
Catalano
Jacobsson
WPES
civitas
Principle
Voters have
a
real
credential
to
vote
They
can
also
make up
a
fake
credential
Backend removes
fakes
to
knowing
what
they
are
who
they
are
f run
Voter Roster
threshold
Voter A Oa
whee in
voter B
OBIT
Ob
Ib
voter c
do
Co
I know
Voter B's
prrvnte.tt
Fb
Ttb Votes
Alice
Eb
true
Bob
Ob
Tteok Alice
Lda
Tteok
guff
d
e
Roster snuff d
s
cob
Coa
Are
com
F
T
Bob
Ob
Alice
Eb
EFFI
Plaintext
E quality Tes
Alice
I
Given
a
and b
a
b
Bob I
threshold
decryet
learn
nothing else
a
b
iff
a b
s
iff
at b
r
Decrypt
Follow up
Make
it
linear
Selections
ABB 106
d
Aly
MACS
Panic passwords