Blar i Department of Informatics på forfatter "Semaev, Igor"
-
Sparse Boolean equations and circuit lattices
Semaev, Igor (Peer reviewed; Journal article, 2011)A system of Boolean equations is called sparse if each equation depends on a small number of variables. Finding efficiently solutions to the system is an underlying hard problem in the cryptanalysis of modern ciphers. In ...