Cryptographic Boolean Functions and Applications

Cryptographic Boolean Functions and Applications
Author: Thomas W. Cusick
Publisher: Academic Press
Total Pages: 245
Release: 2009-03-04
Genre: Mathematics
ISBN: 0080952224

Boolean functions are the building blocks of symmetric cryptographic systems. Symmetrical cryptographic algorithms are fundamental tools in the design of all types of digital security systems (i.e. communications, financial and e-commerce).Cryptographic Boolean Functions and Applications is a concise reference that shows how Boolean functions are used in cryptography. Currently, practitioners who need to apply Boolean functions in the design of cryptographic algorithms and protocols need to patch together needed information from a variety of resources (books, journal articles and other sources). This book compiles the key essential information in one easy to use, step-by-step reference. Beginning with the basics of the necessary theory the book goes on to examine more technical topics, some of which are at the frontier of current research. Serves as a complete resource for the successful design or implementation of cryptographic algorithms or protocols using Boolean functions Provides engineers and scientists with a needed reference for the use of Boolean functions in cryptography Addresses the issues of cryptographic Boolean functions theory and applications in one concentrated resource Organized logically to help the reader easily understand the topic

Boolean Functions for Cryptography and Coding Theory

Boolean Functions for Cryptography and Coding Theory
Author: Claude Carlet
Publisher: Cambridge University Press
Total Pages: 577
Release: 2021-01-07
Genre: Computers
ISBN: 1108634664

Boolean functions are essential to systems for secure and reliable communication. This comprehensive survey of Boolean functions for cryptography and coding covers the whole domain and all important results, building on the author's influential articles with additional topics and recent results. A useful resource for researchers and graduate students, the book balances detailed discussions of properties and parameters with examples of various types of cryptographic attacks that motivate the consideration of these parameters. It provides all the necessary background on mathematics, cryptography, and coding, and an overview on recent applications, such as side channel attacks on smart cards, cloud computing through fully homomorphic encryption, and local pseudo-random generators. The result is a complete and accessible text on the state of the art in single and multiple output Boolean functions that illustrates the interaction between mathematics, computer science, and telecommunications.

Boolean Functions in Cryptology and Information Security

Boolean Functions in Cryptology and Information Security
Author: Bart Preneel
Publisher: IOS Press
Total Pages: 364
Release: 2008
Genre: Computers
ISBN: 1586038788

This book contains the proceedings of the NATO-Russia Advanced Study Institute (ASI) 'Boolean Functions in Cryptology and Information Security', which was held in Zvenigorod, Moscow region, Russia. These proceedings consist of three parts. The first part contains survey lectures on various areas of Boolean function theory that are of primary importance for cryptology. These lectures were delivered by leading researchers from many countries and contain both classic and recent results. The second part contains research papers written by graduate and postgraduate students of Lomonosov University, Moscow.The third part contains a list of open problems in Boolean function theory. The book includes lectures and papers concern the following areas: cryptographic properties of Boolean functions and mappings; algebraic and combinatorial constructions of Boolean functions and mappings with prescribed cryptographic properties; Boolean functions and mappings in cryptosynthesis; classification of Boolean functions; cryptanalysis of ciphers; and, efficient computations in finite fields.

Boolean Functions in Coding Theory and Cryptography

Boolean Functions in Coding Theory and Cryptography
Author: Oleg A. Logachev
Publisher: American Mathematical Soc.
Total Pages: 352
Release: 2012-02-08
Genre: Mathematics
ISBN: 0821846809

This book offers a systematic presentation of cryptographic and code-theoretic aspects of the theory of Boolean functions. Both classical and recent results are thoroughly presented. Prerequisites for the book include basic knowledge of linear algebra, group theory, theory of finite fields, combinatorics, and probability. The book can be used by research mathematicians and graduate students interested in discrete mathematics, coding theory, and cryptography.

Quantum Algorithms for Cryptographically Significant Boolean Functions

Quantum Algorithms for Cryptographically Significant Boolean Functions
Author: Tharrmashastha SAPV
Publisher: Springer Nature
Total Pages: 128
Release: 2021-07-19
Genre: Computers
ISBN: 9811630615

This book is a timely report of the state-of-the-art analytical techniques in the domain of quantum algorithms related to Boolean functions. It bridges the gap between recent developments in the area and the hands-on analysis of the spectral properties of Boolean functions from a cryptologic viewpoint. Topics covered in the book include Qubit, Deutsch–Jozsa and Walsh spectrum, Grover’s algorithm, Simon’s algorithm and autocorrelation spectrum. The book aims at encouraging readers to design and implement practical algorithms related to Boolean functions. Apart from combinatorial techniques, this book considers implementing related programs in a quantum computer. Researchers, practitioners and educators will find this book valuable.

Bent Functions

Bent Functions
Author: Natalia Tokareva
Publisher: Academic Press
Total Pages: 221
Release: 2015-08-24
Genre: Computers
ISBN: 0128025557

Bent Functions: Results and Applications to Cryptography offers a unique survey of the objects of discrete mathematics known as Boolean bent functions. As these maximal, nonlinear Boolean functions and their generalizations have many theoretical and practical applications in combinatorics, coding theory, and cryptography, the text provides a detailed survey of their main results, presenting a systematic overview of their generalizations and applications, and considering open problems in classification and systematization of bent functions. The text is appropriate for novices and advanced researchers, discussing proofs of several results, including the automorphism group of bent functions, the lower bound for the number of bent functions, and more. - Provides a detailed survey of bent functions and their main results, presenting a systematic overview of their generalizations and applications - Presents a systematic and detailed survey of hundreds of results in the area of highly nonlinear Boolean functions in cryptography - Appropriate coverage for students from advanced specialists in cryptography, mathematics, and creators of ciphers

Introduction to Modern Cryptography

Introduction to Modern Cryptography
Author: Jonathan Katz
Publisher: CRC Press
Total Pages: 435
Release: 2020-12-21
Genre: Computers
ISBN: 1351133012

Now the most used texbook for introductory cryptography courses in both mathematics and computer science, the Third Edition builds upon previous editions by offering several new sections, topics, and exercises. The authors present the core principles of modern cryptography, with emphasis on formal definitions, rigorous proofs of security.

Logic, Language, and Security

Logic, Language, and Security
Author: Vivek Nigam
Publisher: Springer Nature
Total Pages: 208
Release: 2020-10-28
Genre: Mathematics
ISBN: 3030620778

This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of linear logic and structural proof theory; formal reasoning for networked systems; and foundations of information security emphasizing cryptographic protocols. These papers are authored by researchers around the world, including North America, Russia, Europe, and Japan, that have been directly or indirectly impacted by Andre Scedrov. The chapter “A Small Remark on Hilbert's Finitist View of Divisibility and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems” is available open access under a CC BY 4.0 license at link.springer.com.