You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A project to simulate QuineMcClusky process to do the following: 1- Generate and print all prime implicants using the Quine-McCluskey tabulation method. 2-obtain and print all the essential prime implicants. 3-Obtain the subset of the non-essential prime implicants needed to complete the solution.
A collection of tools to study the inversion or collision of truncated versions of MD4, MD5, SHA-256 with SAT solving using techniques such as Cube-and-Conquer, programmatic SAT, Dobbertin's Attack, and differential cryptanalysis.