Meet-in-the-middle attack with splice-and-cut technique and a general automatic framework.