errorrishe: (Default)
[personal profile] errorrishe
по ссылке сильно не для всех, нервным не смотреть.

https://arxiv.org/pdf/1401.6488.pdf

Chasing diagrams in cryptography

Dusko Pavlovic


Cryptography is a theory of secret functions. Category theory is a general theory of functions. Cryptography has reached a stage where its structures often take several pages to define, and its formulas sometimes run from page to page. Category theory has some complicated definitions as well, but one of its specialties is taming the flood of structure. Cryptography seems to be in need of high level methods, whereas category theory always needs concrete applications. So why is there no categorical cryptography? One reason may be that the foundations of modern cryptography are built from probabilistic polynomial-time Turing machines, and category theory does not have a good handle on such things. On the other hand, such foundational problems might be the very reason why cryptographic constructions often resemble low level machine programming. I present some preliminary explorations towards categorical cryptography. It turns out that some of the main security concepts are easily characterized through the categorical technique of *diagram chasing*, which was first used Lambek's seminal `Lecture Notes on Rings and Modules'.

Date: 2017-05-03 11:24 pm (UTC)
juan_gandhi: (Default)
From: [personal profile] juan_gandhi
Oh, at last! It's beautiful!

Date: 2017-05-04 05:57 pm (UTC)
bamalip: (Default)
From: [personal profile] bamalip
Єта статья строго секретная. Ее нужно срочно зашифровать!

(если бьі я интересовался криптографией, мне бьі понравилось)

Profile

errorrishe: (Default)
errorrishe

June 2017

S M T W T F S
    123
456 78910
11 12 1314151617
1819202122 2324
252627282930 

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 23rd, 2017 10:17 pm
Powered by Dreamwidth Studios