Cryptography and Cryptanalysis in Java: Creating and Programming Advanced Algorithms with Java SE 21 LTS and Jakarta EE 11

© The Author(s), under exclusive license to APress Media, LLC, part of Springer Nature 2024

S. L. Nita, M. I. MihailescuCryptography and Cryptanalysis in Javahttps://doi.org/10.1007/979-8-8688-0441-0_7

7. Formal Techniques for Cryptography

Stefania Loredana Nita¹   and Marius Iulian Mihailescu¹

(1)

Bucharest, Romania

 

This chapter discusses mathematical elements used in cryptography and throughout the remainder of this book. We’ll start with some definitions of specific terminology; then, we’ll cover some minimal notions of algebra; and finally, we’ll delve into elliptic curves. This chapter contains a compilation of different technical (mathematical) tools used in cryptography gathered from different resources [1]–[9].

Definitions

Here are some definitions ...