Commit Graph

2711 Commits

Author SHA1 Message Date
Marcello Stanisci
5447ad86cc
admin manual stub 2017-05-16 17:10:44 +02:00
Florian Dold
e0c5e5342e
acm metadata 2017-05-16 16:46:13 +02:00
Jeffrey Burdges
3efde62c44
Try to make this justification stronger and more precise 2017-05-16 16:42:11 +02:00
Jeffrey Burdges
9b1cd4b3fd
ro.bib -> rom.bib 2017-05-16 16:27:45 +02:00
Christian Grothoff
13bbd32688
add cls file 2017-05-16 15:52:10 +02:00
Christian Grothoff
3bd606c8d8
minor edits to proofs 2017-05-16 15:50:42 +02:00
Jeffrey Burdges
09cd669283
Merge branch 'master' of ssh://taler.net/exchange 2017-05-16 15:15:28 +02:00
Jeffrey Burdges
4953f8e610
linking attack 2017-05-16 15:15:16 +02:00
Florian Dold
5bece999b8
first stab at proofs 2017-05-16 15:10:12 +02:00
Florian Dold
4c6d7d9b96
proof for lemma 1 and corrolary 2017-05-16 15:10:12 +02:00
Christian Grothoff
ef71452e8c
add sentence on double-spending detection during refresh 2017-05-16 15:07:37 +02:00
Christian Grothoff
2a3361961c
add section on /payback 2017-05-16 15:01:13 +02:00
Christian Grothoff
ad26eafb64
shorten description to avoid line break 2017-05-16 14:41:18 +02:00
Christian Grothoff
33015d9ecb
add FDH to notation list, add arch picture 2017-05-16 14:40:06 +02:00
Christian Grothoff
1a8aedaff4
mention scalability, cite RSCoin on that 2017-05-16 14:33:04 +02:00
Christian Grothoff
f2c9ea526b
fix formatting 2017-05-16 14:18:50 +02:00
Christian Grothoff
0d9a56b870
comment out experiments again 2017-05-16 14:17:02 +02:00
Christian Grothoff
94b56a8f76
comment out experiments again 2017-05-16 14:16:03 +02:00
Christian Grothoff
c1bfa59173
stash for merge, moving stuff around 2017-05-16 14:08:56 +02:00
Christian Grothoff
f143ee4cea
stash for merge 2017-05-16 14:06:59 +02:00
Jeffrey Burdges
cd382c1b13
Slight cleanup after merge 2017-05-16 14:05:37 +02:00
Jeffrey Burdges
88d633526d
Merge branch 'master' of ssh://taler.net/exchange
I need to refine the text for real after this sloppy merge
2017-05-16 14:03:41 +02:00
Jeffrey Burdges
468a373df4
IND-CPA maybe? 2017-05-16 13:59:48 +02:00
Christian Grothoff
39b30ac8c9
Merge branch 'master' of git+ssh://taler.net/exchange 2017-05-16 13:40:31 +02:00
Christian Grothoff
024dc56259
starting with exculpability 2017-05-16 13:40:29 +02:00
Florian Dold
7ce67006be
use ACM sigconf format for 2017 2017-05-16 13:39:23 +02:00
Christian Grothoff
7b4b0f38ff
english, linking 2017-05-16 13:34:17 +02:00
Florian Dold
49f590d8dc
fc17 reviews 2017-05-16 13:04:49 +02:00
Christian Grothoff
917a2dee0f
typos 2017-05-16 11:26:22 +02:00
Christian Grothoff
5ea3021e82
add ownership transfer corollary 2017-05-16 11:24:50 +02:00
Christian Grothoff
82cec70298
nicer error reporting 2017-05-16 11:05:01 +02:00
Marcello Stanisci
9916eef3db
use and purge alternate db when testing against python bank 2017-05-16 11:05:00 +02:00
Christian Grothoff
bdfa18830d
start_row is actually start in the spec, fix naming 2017-05-16 11:05:00 +02:00
Christian Grothoff
7c28823caf
handle base32-wire transfer subject being followed by space+exchange base url in wire plugin and fakebank 2017-05-16 11:05:00 +02:00
Christian Grothoff
be3b891dbd
fix port numbers, no longer 8081 but on 8080; and box json array /history response in {data} as required by API 2017-05-16 11:05:00 +02:00
Marcello Stanisci
d3fac18562
take the history array from "data" field returned by the bank 2017-05-16 11:04:59 +02:00
Christian Grothoff
cddce0fd6f
minor edits to the paper, moving refresh around, etc. 2017-05-16 11:01:00 +02:00
Jeffrey Burdges
709e53be6e
Add a suitable argument for KDF under the random oracle model. 2017-05-16 01:02:48 +02:00
Jeffrey Burdges
1a2facbd2b
Merge branch 'master' of ssh://taler.net/exchange 2017-05-15 17:46:46 +02:00
Jeffrey Burdges
0cf241041e
Spelling 2017-05-15 17:46:27 +02:00
Jeffrey Burdges
7ec6f729fc
Add note on linking protocol 2017-05-15 17:37:09 +02:00
Jeffrey Burdges
2036c42a77
Some classical random oracle reference 2017-05-15 16:28:55 +02:00
Jeffrey Burdges
0359e829f3
Approach to the privacy argument 2017-05-15 16:28:24 +02:00
Jeffrey Burdges
b418b3080e
Just some trash 2017-05-15 16:28:00 +02:00
Christian Grothoff
d307ddba41
improve serializability error handling a bit 2017-05-14 15:44:47 +02:00
Jeffrey Burdges
4c90a797da
Merge branch 'master' of ssh://taler.net/exchange 2017-05-13 15:07:48 +02:00
Jeffrey Burdges
d010d31c09
Update to taxability 2017-05-13 15:06:09 +02:00
Christian Grothoff
5dff30e20b
nicer logging 2017-05-12 22:41:29 +02:00
Jeffrey Burdges
4f6e71a842
Just a start on taxability text, breaks the latex run probably 2017-05-12 02:19:08 +02:00
Jeffrey Burdges
93edc84e60
Introduction does not know where it's going towards the end, but
maybe that's okay since we do not know wher it is going yet either.
2017-05-12 02:18:50 +02:00