Cryptography and Cryptanalysis in Java: Creating and Programming Advanced Algorithms with Java SE 17 LTS and Jakarta EE 10

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

S. L. Nita, M. I. MihailescuCryptography and Cryptanalysis in Javahttps://doi.org/10.1007/978-1-4842-8105-5_6

6. 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 ...