alice designs a double-aes cipher. given the plaintext m, she uses the first key k1 (256 bits) to aes-encrypt m to obtain ciphertext c1, then uses the second key k2 (256 bits) to aes-encrypt c1 to obtain the final ciphertext c2. does this mean that alice’s design has a key strength of 512 bits? is alice’s design vulnerable to meet-in-the-middle? detail your answers.