A framework for automated search for independent-biclique attacks