|
|
eb130f8bc5
|
Minor fix
|
2023-06-21 19:22:33 +02:00 |
|
|
|
2a8fc8fc0d
|
Add abstract
|
2023-06-21 19:21:21 +02:00 |
|
|
|
0d3218440b
|
Rewritings due to feedback
|
2023-06-21 18:45:32 +02:00 |
|
|
|
3db0912f79
|
Minor changes
|
2023-06-16 12:46:37 +02:00 |
|
|
|
97e842892c
|
Fixed some spelling mistakes, thanks Henrik. again
|
2023-06-14 16:23:56 +02:00 |
|
|
|
84b6119620
|
Ended proof sections
|
2023-06-14 15:31:33 +02:00 |
|
|
|
d45bcef6c9
|
Rewrote introduction to multi-user proof and added info for Ehrenwörtliche Erklärung
|
2023-06-14 09:52:01 +02:00 |
|
|
|
0123162433
|
Added concrete security
|
2023-06-14 09:16:26 +02:00 |
|
|
|
7a2f8f575d
|
Overhauled the introduction to the proofs in the single-user setting
|
2023-05-24 17:19:25 +02:00 |
|
|
|
374b3d907d
|
renamed directory section to sections
|
2023-05-15 16:26:02 +02:00 |
|
|
|
6b420fa630
|
moved related work in its own file
|
2023-05-15 16:22:09 +02:00 |
|
|
|
53af382e8d
|
Introduction section
|
2023-05-15 16:19:20 +02:00 |
|
|
|
82ca914eba
|
used xspace package
|
2023-05-15 11:39:23 +02:00 |
|
|
|
56f6c785bb
|
Add Dlog' ggm proof
|
2023-05-09 10:01:01 +02:00 |
|
|
|
8a7b0d4d75
|
Added Proofs for lax parsing
|
2023-05-02 17:36:07 +02:00 |
|
|
|
419018dec3
|
More more more
|
2023-05-01 17:38:55 +02:00 |
|
|
|
cf19ceb0fe
|
Formalized schmemes
|
2023-04-30 13:51:54 +02:00 |
|
|
|
f527b43068
|
more proofs
|
2023-04-20 12:03:33 +02:00 |
|
|
|
0baf01b6ca
|
Added multi-user security proofs
|
2023-04-19 16:34:03 +02:00 |
|
|
|
d2765beab9
|
Fixed security parameter
|
2023-04-05 12:38:22 +02:00 |
|
|
|
c5bdf84b77
|
Added EdDSA' proof
|
2023-03-27 19:34:56 +02:00 |
|
|
|
da198c2184
|
Added definition block to dlog'
|
2023-03-20 11:04:33 +01:00 |
|
|
|
0b4039cbeb
|
split EdDSA Sigantures into own file
|
2023-03-17 10:38:14 +01:00 |
|
|
|
33e92e22eb
|
split file into multiple files
|
2023-03-10 10:30:23 +01:00 |
|
|
|
673d2170a0
|
Included Feedback in Dlog'=>GameZ proof
|
2023-03-09 12:17:25 +01:00 |
|
|
|
8925f7c66c
|
Fixed GameZ
|
2023-03-02 14:02:35 +01:00 |
|
|
|
5183fd3bb1
|
Added compiletime to pdf
|
2023-03-02 11:57:25 +01:00 |
|
|
|
8650907a75
|
removed old TODO comments
|
2023-03-02 11:23:26 +01:00 |
|
|
|
0d5dbf0675
|
some more clarifications
|
2023-03-02 11:09:20 +01:00 |
|
|
|
b08241b07f
|
clarified notation
|
2023-03-02 11:02:35 +01:00 |
|
|
|
91ec89c040
|
fixed typo
|
2023-03-02 10:46:40 +01:00 |
|
|
|
69a34c2608
|
Removed boxes from adversary B
|
2023-03-02 10:40:46 +01:00 |
|
|
|
c1fee8b8e5
|
Added line numbers to adversary b
|
2023-03-02 10:37:54 +01:00 |
|
|
|
881bb0c128
|
Dlog' => GmaeZ: used min entropy
|
2023-03-02 10:35:55 +01:00 |
|
|
|
851033a324
|
finished first draft of proof DLog' => GameZ
|
2023-03-02 10:06:29 +01:00 |
|
|
|
6ecc7c023c
|
Formalized proof DLog' => GameZ
|
2023-03-01 23:32:52 +01:00 |
|
|
|
fc28b51942
|
Moved captions below elements
|
2023-03-01 18:14:48 +01:00 |
|
|
|
3f9ba21fe7
|
Overview DLog' => Game Z
|
2023-03-01 18:00:26 +01:00 |
|
|
|
ef1610a1e0
|
Proof Overview for Dlog' => Game Z
|
2023-02-27 18:30:45 +01:00 |
|
|
|
e6acb62385
|
some more small changes
|
2023-02-27 17:36:42 +01:00 |
|
|
|
f85f29c221
|
Included Feedback from last session
|
2023-02-27 17:16:23 +01:00 |
|
|
|
48bbf09e9e
|
Introduced security parameter macro
|
2023-02-24 12:08:14 +01:00 |
|
|
|
7bdccf2478
|
Minor fix
|
2023-02-24 12:04:00 +01:00 |
|
|
|
2b90e8d03a
|
Added SUF-CMA security notion
|
2023-02-24 12:02:49 +01:00 |
|
|
|
eb5896d8ce
|
added hyperref
|
2023-02-24 10:48:47 +01:00 |
|
|
|
438f0e0395
|
Introduced some macros
|
2023-02-24 10:42:26 +01:00 |
|
|
|
be6defc8bf
|
Intuition for UF-NMA => UF-CMA
|
2023-02-24 10:36:46 +01:00 |
|
|
|
ca1e2c10cb
|
Start of single user proof
|
2023-02-23 22:12:39 +01:00 |
|
|
|
754c05fd58
|
Adjusted depth of ToC
|
2023-02-23 17:45:43 +01:00 |
|
|
|
836559aa34
|
Differences from Schnorr Signatures
|
2023-02-23 17:44:00 +01:00 |
|
