@inproceedings{Pavlovic2014ChasingDI,
title={Chasing Diagrams in Cryptography},
author={Dusko Pavlovic},
booktitle={Categories and Types in Logic, Language, and Physics},
year={2014}
}

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… CONTINUE READING