Asymmetric Cryptosystem Using Careful Synchronization
We present public-private key cryptosystem which utilizes the fact that checking whether a partial automaton is carefully synchronizing is PSPACE-complete, even in the case of a binary alphabet.
READ FULL TEXT