From 443a3283b39523b260a7fb0abe44441f9763fac2 Mon Sep 17 00:00:00 2001 From: dawuud <> Date: Wed, 2 Nov 2016 00:42:50 +0000 Subject: [PATCH] [Imported from Trac: page Summit2016, version 13] --- Summit2016.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Summit2016.md b/Summit2016.md index f2f4770..10d7d28 100644 --- a/Summit2016.md +++ b/Summit2016.md @@ -57,7 +57,7 @@ Nope: * (david) api design review of sphinxmixcrypto a fork of Ian's sphinx reference python code but modified to be more pep8 compliant and to parameterize the crypto primitives. * (david) review of crypto primitive selection for sphinx mixnet packet header format; offered security bits versus packet header overhead etc. * (david) post-quantum crypto modification to the sphinx mixnet packet format -* (david) formal verification of cryptograph protocols? +* (david) formal verification of cryptographic protocols? mixnet reading list: