Chasing Diagrams in Cryptography

@inproceedings{Pavlovic2014ChasingDI,
  title={Chasing Diagrams in Cryptography},
  author={Dusko Pavlovic},
  booktitle={Categories and Types in Logic, Language, and Physics},
  year={2014}
}
  • Dusko Pavlovic
  • Published in
    Categories and Types in Logic…
    2014
  • Computer Science, Mathematics
  • 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
    5 Citations
    A diagrammatic approach to information flow in encrypted communication (extended version)
    • P. Hines
    • Computer Science, Mathematics
    • GraMSec@CSF
    • 2020
    • 1
    • Highly Influenced
    • PDF
    Coalgebraic Methods in Computer Science

    References

    SHOWING 1-10 OF 38 REFERENCES
    Monoidal computer I: Basic computability by string diagrams
    • 28
    • PDF
    The Brave New World of Bodacious Assumptions in Cryptography
    • 30
    • PDF
    Geometry of abstraction in quantum computation
    • Dusko Pavlovic
    • Computer Science, Mathematics
    • Classical and Quantum Information Assurance Foundations and Practice
    • 2009
    • 20
    • PDF
    Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol
    • 14
    • PDF
    Foundations of Cryptography Foundations of Cryptography
    • 129
    • PDF
    Maps II: Chasing Diagrams in Categorical Proof Theory
    • 29
    • PDF
    OAEP Reconsidered
    • 435
    • PDF
    Introduction to Modern Cryptography
    • 1,709
    • PDF
    Categorical logic of Names and Abstraction in Action Calculi
    • Dusko Pavlovic
    • Computer Science, Mathematics
    • Math. Struct. Comput. Sci.
    • 1997
    • 26