Cryptography and Cryptanalysis in MATLAB: Creating and Programming Advanced Algorithms

© Marius Iulian Mihailescu and Stefania Loredana Nita 2021

M. I. Mihailescu, S. L. NitaCryptography and Cryptanalysis in MATLABhttps://doi.org/10.1007/978-1-4842-7334-0_11

11. Formal Techniques for Cryptography

Marius Iulian Mihailescu¹   and Stefania Loredana Nita¹

(1)

Bucharest, Romania

 

Cryptography uses mathematical concepts to design strong cryptosystems and make cryptanalyses for them. Cryptography uses number theory, probability theory, and information theory. We talked about number theory in Chapter 5, therefore, in this chapter, we present the main ideas of the probability theory used in cryptography.

Probability Theory

This section introduces the basic concepts of probability theory that are used in cryptography, such as experiments, events, ...