Commit Graph

113 Commits

Author SHA1 Message Date
jude 8fc50531c1 Correct bib file 2023-08-20 11:16:57 +01:00
jude 94f6246547 Remove embedded tikzpictures 2023-08-20 11:04:15 +01:00
jude a1fbbf5942 Actual final 2023-05-04 21:40:54 +01:00
jude 7e2c92d9c3 .... 2023-05-04 13:37:44 +01:00
jude b3e1f1441b final final 2023-05-04 12:48:31 +01:00
jude 003f1bc12c missing . 2023-05-02 15:11:07 +01:00
jude 345d28e745 Remove artefact 2023-05-02 14:45:02 +01:00
jude e3340cd5b5 Added ref for lz-string 2023-05-02 14:41:26 +01:00
jude e53a4405bc update copyright notice on lzstring 2023-05-02 14:39:05 +01:00
jude b59ced8fa6 removed cryptojs from requirements 2023-05-02 14:19:15 +01:00
jude 6ffdadb0b5 update license 2023-05-01 15:38:45 +01:00
jude 4a2c9233c3 done???????????????? 2023-05-01 14:46:49 +01:00
jude 6d83ccfb5b done???????????????? 2023-05-01 14:42:17 +01:00
jude 0507b2e820 final? 2023-05-01 13:04:53 +01:00
jude 46f4bfd7ff final? 2023-05-01 13:00:07 +01:00
jude 9c6b251a25 aaaaaaaaaaaaaaaaaa 2023-04-30 18:42:52 +01:00
jude 0fed48b79d idk 2023-04-29 16:35:17 +01:00
jude cceb6dee90 idk 2023-04-28 21:14:31 +01:00
jude 9d01d3bd38 Diagrams 2023-04-28 14:33:54 +01:00
jude a7daf39918 Diagrams 2023-04-28 14:25:59 +01:00
jude 663b8ab4de Lower rounds. tex stuff 2023-04-28 12:42:58 +01:00
jude 6005cd6aff Fix bit length proof 2023-04-28 10:32:05 +01:00
jude 574287d07b ... 2023-04-27 16:04:35 +01:00
jude 092475d58e ... 2023-04-27 16:04:13 +01:00
jude a63fea7e17 ... 2023-04-27 14:46:48 +01:00
jude dee1da6fb1 fortify working and verifying 2023-04-27 12:52:02 +01:00
jude 9e4a57605d length proof working 2023-04-26 14:49:10 +01:00
jude 7591c84823 started working on another proof 2023-04-25 18:05:44 +01:00
jude 810382fc4f update diss 2023-04-25 17:38:53 +01:00
jude f479fd0b29 ... 2023-04-24 21:39:37 +01:00
jude 29e7e2c11a .... 2023-04-24 15:56:34 +01:00
jude f4020aadec .... 2023-04-24 14:20:44 +01:00
jude 88cf76f815 .... 2023-04-23 17:23:42 +01:00
jude 07269df66d ... 2023-04-21 21:47:02 +01:00
jude 8eb68d3fe0 Add proof of fortification 2023-04-21 20:39:58 +01:00
jude a1eba884bc Add bcdg range proof 2023-04-21 15:03:15 +01:00
jude b24d031524 fix shared random to use resampling 2023-04-21 11:08:49 +01:00
jude 125bbd6575 repaired some attack related code 2023-04-21 09:50:20 +01:00
jude 4c1bcf370f ... 2023-04-20 13:19:37 +01:00
jude f9805c4806 ... 2023-04-20 10:13:03 +01:00
jude f8b0608ab3 comments from supervisor 2023-04-19 14:15:46 +01:00
jude 7f6ceb1968 ... 2023-04-18 20:29:39 +01:00
jude 8e149fad42 .. 2023-04-18 14:53:02 +01:00
jude ea217af596 ... 2023-04-17 19:47:04 +01:00
jude c87f88b287 optimise 2023-04-17 16:32:35 +01:00
jude 659fcc389a ... 2023-04-17 13:30:34 +01:00
jude 1bd15f36e7 ... 2023-04-16 21:28:29 +01:00
jude ad26788927 readme, benchmarks, fix verification 2023-04-15 14:28:13 +01:00
jude 35dbf321e9 prove and verify rounds 2023-04-14 16:04:24 +01:00
jude 0f8ad2a0a8 ... 2023-04-14 10:55:20 +01:00