Project Abstract

This the project presents new cryptanalysis method taking SAT solvers into consideration and which is mainly aiming at decryption the encrypted information especially the data that are protected by DES encryption. In the computerized period today, using cyber security worth learning because it has the heightened impact in preserving digital protection. The use of SAT solution solvers, renowned for their ability to solve Boolean satisfiability problems, becomes one of the main focus of this research area. Through the formation of computational puzzles in the form of Boolean conditions, SAT solvers can be capable of tracking down keys for encryption systems or failures in encryption algorithms. The approach skin out comprised brute-force cipher text, frequency analysis, and visualization techniques viewed on hour 8 of Difficulty-1 cipher texts. The implementation of the study design relies greatly on SAT solver technology and advanced cryptanalysis strategies. The experience is in utilizing SAT solvers to break encryption schemes and then evaluate their effectiveness. The key findings of the project yielding the SAT solvers’ effectiveness in cryptography, furthermore proven through the successful breaking of the encrypted messages with the DES algorithm. The research findings rudimentarily show that SAT solvers can be important tools advancing cryptanalysis techniques and enhanced secure communications systems. Overall, the outcomes of this project could be considered one of the additions to the body of knowledge in cryptanalysis that not only apply SAT solvers in a breakage of encryption algorithms, but also enhance our understanding of cyber security and improve the solutions to the pressing issues.

Keywords: Focus on Cryptanalysis, Utilization of SAT Solvers, Computational Puzzles

 Conference Details

Session: Presentation Stream 25 at Presentation Slot 6

Location: GH049 at Wednesday 8th 13:30 – 17:00

Markers: Megan Venn-Wycherley, Fernando Maestre Avila

Course: MSc Cyber Security, Masters PG

Future Plans: I’m looking for work