English
Related papers

Related papers: Chasing diagrams in cryptography

200 papers

In mathematical applications, category theory remains a contentious issue, with enthusiastic fans and a skeptical majority. In a muted form this split applies to the authors of this note. When we learned that the only mathematically sound…

Logic in Computer Science · Computer Science 2019-10-23 Andreas Blass , Yuri Gurevich

Cryptography, derived from Greek meaning hidden writing, uses mathematical techniques to secure information by converting it into an unreadable format. While cryptography as a science began around 100 years ago, its roots trace back to…

Cryptography and Security · Computer Science 2024-11-25 Fernando Peralta Castro

We formalize the simulation paradigm of cryptography in terms of category theory and show that protocols secure against abstract attacks form a symmetric monoidal category, thus giving an abstract model of composable security definitions in…

Cryptography and Security · Computer Science 2022-08-30 Anne Broadbent , Martti Karvonen

Cryptography literally means "The art & science of secret writing & sending a message between two parties in such a way that its contents cannot be understood by someone other than the intended recipient". and Quantum word is related with…

Networking and Internet Architecture · Computer Science 2010-07-15 Aditya Goel

Categorification is the process of finding category-theoretic analogs of set-theoretic concepts by replacing sets with categories, functions with functors, and equations between functions by natural isomorphisms between functors, which in…

Quantum Algebra · Mathematics 2014-11-18 John C. Baez , James Dolan

Ciphers are a powerful tool for encrypting communication. There are many different cipher types, which makes it computationally expensive to solve a cipher using brute force. In this paper, we frame the decryption task as a classification…

Computation and Language · Computer Science 2023-06-16 Brendan Artley , Greg Mehdiyev

Diagram chasing is not an easy task. The coherence holds in a generalized sense if we have a mechanical method to judge whether given two morphisms are equal to each other. A simple way to this end is to reform a concerned category into a…

Logic in Computer Science · Computer Science 2020-10-09 Ryu Hasegawa

Category Theory provides us with a clear notion of what is an internal structure. This will allow us to focus our attention on a certain type of relationship between context and structure.

Category Theory · Mathematics 2022-10-04 Dominique Bourn

Category theory has been recently used as a tool for constructing and modeling an information flow framework. Here, we show that the flow of information can be described using preradicals. We prove that preradicals generalize the notion of…

Category Theory · Mathematics 2021-12-14 Sebastian Pardo G. , Gabriel A. Silva

In this tutorial, selected topics of cryptology and of computational complexity theory are presented. We give a brief overview of the history and the foundations of classical cryptography, and then move on to modern public-key cryptography.…

Computational Complexity · Computer Science 2007-05-23 Jörg Rothe

The goal of this chapter is to present a survey of homomorphic encryption techniques and their applications. After a detailed discussion on the introduction and motivation of the chapter, we present some basic concepts of cryptography. The…

Cryptography and Security · Computer Science 2021-09-03 Jaydip Sen

The development of mathematics has been characterized by the increasing interconnectivity of seemingly separate disciplines. Such interplay has been facilitated by a massive development in formalism; category theory has provided a common…

Algebraic Geometry · Mathematics 2018-12-03 Aurel Malapani

Ever since its inception, cryptography has been caught in a vicious circle: Cryptographers keep inventing methods to hide information, and cryptanalysts break them, prompting cryptographers to invent even more sophisticated encryption…

Quantum Physics · Physics 2023-06-14 Renato Renner , Ramona Wolf

Quantum cryptography can, in principle, provide unconditional security guaranteed by the law of physics only. Here, we survey the theory and practice of the subject and highlight some recent developments.

Quantum Physics · Physics 2016-03-17 Hoi-Kwong Lo , Norbert Lütkenhaus

Category theory is a branch of mathematics that provides a formal framework for understanding the relationship between mathematical structures. To this end, a category not only incorporates the data of the desired objects, but also…

Category Theory · Mathematics 2024-07-26 Niels van der Weide , Nima Rasekh , Benedikt Ahrens , Paige Randall North

Two different kinds of synchronization have been applied to cryptography: Synchronization of chaotic maps by one common external signal and synchronization of neural networks by mutual learning. By combining these two mechanisms, where the…

Statistical Mechanics · Physics 2009-11-10 Rachel Mislovaty , Einat Klein , Ido Kanter , Wolfgang Kinzel

Quantum cryptography exploits principles of quantum physics for the secure processing of information. A prominent example is secure communication, i.e., the task of transmitting confidential messages from one location to another. The…

Quantum Physics · Physics 2022-07-13 Christopher Portmann , Renato Renner

Cryptographic algorithms have been used not only to create robust ciphertexts but also to generate cryptograms that, contrary to the classic goal of cryptography, are meant to be broken. These cryptograms, generally called puzzles, require…

Cryptography and Security · Computer Science 2022-08-03 Isra Mohamed Ali , Maurantonio Caprolu , Roberto Di Pietro

Methods of quantum mechanics promise information-theoretic security for various protocols in cryptography. However, impossibility of some cryptographic applications such as standard bit commitment, oblivious transfer, multiparty secure…

Quantum Physics · Physics 2015-08-03 Muhammad Nadeem

Ever since the link between nonlinear science and cryptography became apparent, the problem of applying chaotic dynamics to the construction of cryptographic systems has gained a broad audience and has been the subject of thousands of…

Cryptography and Security · Computer Science 2024-05-07 Samuel Everett