 rixxc
|
84b6119620
|
Ended proof sections
|
2023-06-14 15:31:33 +02:00 |
|
|
rixxc
|
0c4179df46
|
rewrote multi-user proofs
|
2023-06-14 14:42:08 +02:00 |
|
|
rixxc
|
3df7ccbfe4
|
Removed line numbers in figures
|
2023-06-12 11:53:44 +02:00 |
|
|
rixxc
|
c58045b508
|
Finished OMDL proof in GGM
|
2023-05-30 21:45:00 +02:00 |
|
|
rixxc
|
c9fee59d7c
|
Changed name of games
|
2023-05-25 09:12:14 +02:00 |
|
|
rixxc
|
048dd04b86
|
used uniform font for sets
|
2023-05-15 10:12:44 +02:00 |
|
|
rixxc
|
66ab947000
|
Fixed equations in theorems
|
2023-05-15 09:41:48 +02:00 |
|
|
rixxc
|
4de5dadc5c
|
Fixed set for secret scalar
|
2023-05-15 09:19:48 +02:00 |
|
|
rixxc
|
56f6c785bb
|
Add Dlog' ggm proof
|
2023-05-09 10:01:01 +02:00 |
|
|
rixxc
|
8a7b0d4d75
|
Added Proofs for lax parsing
|
2023-05-02 17:36:07 +02:00 |
|
|
rixxc
|
419018dec3
|
More more more
|
2023-05-01 17:38:55 +02:00 |
|
|
rixxc
|
cf19ceb0fe
|
Formalized schmemes
|
2023-04-30 13:51:54 +02:00 |
|
|
rixxc
|
397abfe5fe
|
finished first version of proofs
|
2023-04-24 16:12:19 +02:00 |
|
|
rixxc
|
f527b43068
|
more proofs
|
2023-04-20 12:03:33 +02:00 |
|
|
rixxc
|
0baf01b6ca
|
Added multi-user security proofs
|
2023-04-19 16:34:03 +02:00 |
|