From fcdc3f0127fe841ecdf808d1941018f4fe7a2b85 Mon Sep 17 00:00:00 2001 From: Jesse Luehrs Date: Wed, 25 Mar 2015 23:30:59 -0400 Subject: problem 16 --- tests/lib.rs | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) (limited to 'tests') diff --git a/tests/lib.rs b/tests/lib.rs index 72c808a..cc37ec4 100644 --- a/tests/lib.rs +++ b/tests/lib.rs @@ -302,3 +302,41 @@ fn problem_15 () { Some(&b""[..]) ); } + +#[test] +fn problem_16 () { + let key = random_aes_128_key(); + let iv = random_aes_128_key(); + let prefix = "comment1=cooking%20MCs;userdata="; + let suffix = ";comment2=%20like%20a%20pound%20of%20bacon"; + let admin = ";admin=true;"; + + let escape = |input: &str| { + input.replace("%", "%25").replace(";", "%3B").replace("=", "%3D") + }; + + let encode = |input: &str| -> Vec { + let plaintext: Vec = prefix + .as_bytes() + .iter() + .chain(escape(input).as_bytes().iter()) + .chain(suffix.as_bytes().iter()) + .map(|x| *x) + .collect(); + return matasano::encrypt_aes_128_cbc(&plaintext[..], &key[..], &iv[..]); + }; + + let verify = |ciphertext: &[u8]| -> bool { + let plaintext = matasano::decrypt_aes_128_cbc(ciphertext, &key[..], &iv[..]); + return (0..(plaintext.len() - admin.len())).any(|i| { + plaintext + .iter() + .skip(i) + .zip(admin.as_bytes().iter()) + .all(|(&c1, &c2)| c1 == c2) + }); + }; + + let ciphertext = matasano::crack_cbc_bitflipping(&encode); + assert!(verify(&ciphertext[..])); +} -- cgit v1.2.3-54-g00ecf