CycSAT-Unresolvable Cyclic Logic Encryption Using Unreachable States

Amin Rezaei, You Li, Yuanqi Shen, Shuyu Kong, Hai Zhou. CycSAT-Unresolvable Cyclic Logic Encryption Using Unreachable States. IACR Cryptology ePrint Archive, 2019:60, 2019. [doi]

Authors

Amin Rezaei

This author has not been identified. Look up 'Amin Rezaei' in Google

You Li

This author has not been identified. Look up 'You Li' in Google

Yuanqi Shen

This author has not been identified. Look up 'Yuanqi Shen' in Google

Shuyu Kong

This author has not been identified. Look up 'Shuyu Kong' in Google

Hai Zhou

This author has not been identified. Look up 'Hai Zhou' in Google