SAT Solvers and their Limits with NFSR-based Stream Ciphers: an Example with Grain v1

Andreas Schaffhauser. SAT Solvers and their Limits with NFSR-based Stream Ciphers: an Example with Grain v1. In Proceedings of the Third Central European Cybersecurity Conference, CECC 2019, Munich, Germany, November 14-15, 2019. ACM, 2019. [doi]

Abstract

Abstract is missing.