One-way trap door functions based on the Boolean satisfiability problem
Sarita Singh, Tittu Mathew · 2002
We present a new proposal for a trap-door one-way function, from which we derive a public-key encryption algorithm. The security of this new algorithm is related to the difficulty of finding an assignment that satisfies a given set of Boolean expressions, providing a possible alternative to existing public-key encryption and digital signature algorithms.