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: