index
:
papers.git
master
Academic manuscripts on Taler.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
games
/
games.tex
Age
Commit message (
Expand
)
Author
2017-11-21
Discussion of income transperency hiccup
Jeffrey Burdges
2017-11-20
Improve income transperency proof
Jeffrey Burdges
2017-11-20
Anonymity game fixes
Jeffrey Burdges
2017-11-19
Remove Florian's Lemmas that we do not use
Jeffrey Burdges
2017-11-19
Make it more like a game hop
Jeffrey Burdges
2017-11-19
Ooops fix game again
Jeffrey Burdges
2017-11-19
Remove unneeded comments.
Jeffrey Burdges
2017-11-19
Ugh not quite done maybe, but much much better
Jeffrey Burdges
2017-11-19
More on unforgability.. and spelling
Jeffrey Burdges
2017-11-19
Almost done with one-more forgery
Jeffrey Burdges
2017-11-18
Minor
Jeffrey Burdges
2017-11-18
Income Transparency Proof-sketch
Jeffrey Burdges
2017-11-18
Fairness proof
Jeffrey Burdges
2017-11-18
Oops
Jeffrey Burdges
2017-11-18
Add back user to spend
Jeffrey Burdges
2017-11-17
Unshares is redundent now
Jeffrey Burdges
2017-11-17
Changes along the lines of my email. Also ownership set and linking
Jeffrey Burdges
2017-11-17
consistent _
Jeffrey Burdges
2017-11-17
fix refresh transcript
Florian Dold
2017-11-17
notation/labels, comment out Jeff's proof for now
Florian Dold
2017-11-17
turn refresh into one oracle (coroutine-style)
Florian Dold
2017-11-17
fix things and add more notes
Florian Dold
2017-11-16
Oops make it tex
Jeffrey Burdges
2017-11-16
Progress on anonymity proof
Jeffrey Burdges
2017-11-10
fix kappa in income transparency game
Florian Dold
2017-11-10
bank -> exchange
Florian Dold
2017-11-10
minor fix
Florian Dold
2017-11-10
fixes
Florian Dold
2017-11-10
fixes
Florian Dold
2017-11-10
no separate/weird unforgeability game
Florian Dold
2017-11-10
very rough proof idea for anonymity
Florian Dold
2017-11-09
fix oracles
Florian Dold
2017-11-09
more precise fairness
Florian Dold
2017-11-09
anonymity game
Florian Dold
2017-11-03
games
Florian Dold
[prev]