AES Based White Box Cryptography in Digital Signature Verification.

Area of Science:

• Cryptography and Information Security
• Computer Science
• Theoretical Computer Science

Background:

• Standard cryptographic paradigms protect sensitive information against black box attacks where adversaries analyze inputs/outputs but not internal implementation.
• White-box solutions aim to secure cryptographic primitives within an execution environment where attackers may have unrestricted access.

Purpose of the Study:

• To assess the security efficiency of practical white-box implementations.
• To analyze the theoretical foundations of white-box approaches.
• To develop a formal theoretical model for white-box cryptography (WBC) due to the lack of prior definitions and security assurances.

Main Methods:

• Crafting a research proposal for white-box applications of DES and AES encryption algorithms.
• Performing cryptanalysis on these encryption techniques.
• Developing a formal definition of WBC by studying formal models of obfuscation and shown security.
• Investigating the security of white-box implementations using the developed theoretical model.

Main Results:

• Exploration of practical white-box implementations and their underlying theoretical principles.
• Development of a state-of-the-art theoretical model for WBC.
• Inclusion of results from a Digital Signature Algorithm (DSA) study applicable to real-world signature verification.

Conclusions:

• The developed theoretical model provides a framework for investigating the security of white-box implementations, yielding both positive and negative findings.
• The research lays groundwork for future applications of White Box Cryptography (WBC) findings in areas like signature verification.