|
|
|
|
|
|
by sophacles
6079 days ago
|
|
|
Oh great, now my brain hurts. Does anyone know of any papers mapping cryptography to category theory? It seems that there could be some interesting results of such a thing, even if it is just reasoning about security protocols in terms of string diagrams. |
|
|