index
:
papers.git
master
Academic manuscripts on Taler.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
games
Age
Commit message (
Expand
)
Author
2018-01-25
Fix income transperency computations
Jeffrey Burdges
2017-11-23
Merge branch 'master' of ssh://taler.net/papers
Jeffrey Burdges
2017-11-23
Fixes
Jeffrey Burdges
2017-11-23
various fixes
Florian Dold
2017-11-23
Merge branch 'master' of ssh://taler.net/papers
Jeffrey Burdges
2017-11-23
anonymity game hopping
Florian Dold
2017-11-22
Revert "Experement with _X notation for oracles"
Jeffrey Burdges
2017-11-22
Experement with _X notation for oracles
Jeffrey Burdges
2017-11-22
Fix second game
Jeffrey Burdges
2017-11-22
Income transperency game
Jeffrey Burdges
2017-11-21
Fairness theorem
Jeffrey Burdges
2017-11-21
Add income theorem statements
Jeffrey Burdges
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
gitignore
Florian Dold
2017-11-03
games
Florian Dold