Christian Grothoff
|
55823814a5
|
update .gitignore
|
2017-05-16 18:58:47 +02:00 |
|
Christian Grothoff
|
fc48947e32
|
skeleton for the test for #4959
|
2017-05-16 18:56:10 +02:00 |
|
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 |
|