summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-04-25Start adopting optimal adversary langaugeJeff Burdges
2018-04-25Fix income transperencyJeff Burdges
2018-04-25Rearange income gameJeff Burdges
2018-04-25sleepy timeJeff Burdges
2018-04-24iFix beginning of income transperence and start doing the endJeff Burdges
2018-04-23Another fixJeff Burdges
2018-04-23Fix end of anonumity proofJeff Burdges
2018-04-23remove 'junk' and properly conclude proofFlorian Dold
2018-04-23Trying to finish anonymity proof, but not done yetJeff Burdges
2018-04-23Minor edits in anonymity proofJeff Burdges
2018-04-22Fixed income transperency proof and gameJeff Burdges
2018-04-22Merge branch 'master' of ssh://taler.net/papersJeff Burdges
2018-04-22Start remerging old proofJeff Burdges
2018-04-22pull bound on #coins into proofFlorian Dold
2018-04-22Merge branch 'master' of ssh://taler.net/papersJeff Burdges
2018-04-22minorJeff Burdges
2018-04-22fairness proof with explicit challengeFlorian Dold
2018-04-21Deal with one-more forgery adersary managing multiple denominations.Jeff Burdges
2018-04-21split by denominationsJeff Burdges
2018-04-21Another fixJeff Burdges
2018-04-21Explain proof betterJeff Burdges
2018-04-21typeoJeff Burdges
2018-04-21Merge branch 'master' of ssh://taler.net/papersJeff Burdges
2018-04-21missing bib fileFlorian Dold
2018-04-21Fix unforgability. Where did I write about RSA-CTI before?Jeff Burdges
2018-04-21anoying \emphJeff Burdges
2018-04-21Merge branch 'master' of ssh://taler.net/papersJeff Burdges
2018-04-21Consider using : Fair contractsJeff Burdges
2018-04-21completion of refresh operationsFlorian Dold
2018-04-21Fariness proof updatesJeff Burdges
2018-04-21ExplinationJeff Burdges
2018-04-21Remove hJeff Burdges
2018-04-21Try again on fairness gameJeff Burdges
2018-04-21Improve fairness gameJeff Burdges
2018-04-21syncFlorian Dold
2018-04-20iMinor C commentsJeff Burdges
2018-04-20syncFlorian Dold
2018-04-20notation changesFlorian Dold
2018-04-20notation changesFlorian Dold
2018-04-08returns issuesJeffrey Burdges
2018-04-08Clean up Fairness gameJeffrey Burdges
2018-04-08Initial comments from ChristianJeffrey Burdges
2018-04-06More small stuffJeffrey Burdges
2018-04-04minorJeffrey Burdges
2018-04-04I donno if "efficent" makes enough sense here, so expanded.Jeffrey Burdges
2018-03-28remove wrong footnoteFlorian Dold
2018-03-28various fixesFlorian Dold
2018-03-27simplified proofsFlorian Dold
2018-03-27syncFlorian Dold
2018-03-27syncFlorian Dold