From 7300f2960632daea869acacbaf2302d81d4c300b Mon Sep 17 00:00:00 2001 From: Joey Dodds Date: Wed, 6 Aug 2014 10:16:14 -0700 Subject: [PATCH] changed collision properties to require inputs to be different --- examples/maliciousSHA/malicious_SHA1.cry | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/maliciousSHA/malicious_SHA1.cry b/examples/maliciousSHA/malicious_SHA1.cry index a65b7cf6..0a66622d 100755 --- a/examples/maliciousSHA/malicious_SHA1.cry +++ b/examples/maliciousSHA/malicious_SHA1.cry @@ -78,7 +78,7 @@ malicious_k1 = [0x5a827999, 0x88e8ea68, 0x578059de, 0x54324a39] bad_sha_eve1 = malicious_sha1 eve1 malicious_k1 bad_sha_eve2 = malicious_sha1 eve2 malicious_k1 -property malicious_sha1_collision1 = bad_sha_eve1 == bad_sha_eve2 +property malicious_sha1_collision1 = eve1 != eve2 && bad_sha_eve1 == bad_sha_eve2 //hexdump malicious/eve1.sh eve1_galois = [ @@ -111,7 +111,7 @@ eve2_galois = [ bad_sha_eve_galois1 = malicious_sha1 eve1_galois malicious_k1 bad_sha_eve_galois2 = malicious_sha1 eve2_galois malicious_k1 -property malicious_sha1_collision2 = bad_sha_eve_galois1 == bad_sha_eve_galois2 +property malicious_sha1_collision2 = eve1_galois != eve2_galois && bad_sha_eve_galois1 == bad_sha_eve_galois2 property all_same_hashes = bad_sha_eve_galois1 == bad_sha_eve1 && malicious_sha1_collision1 && malicious_sha1_collision2