cookie

process_complete_with_cookie/__scripts__/compute_proof.py

@@ -278,6 +278,35 @@ def generate_files_secrecy(filename, path):
 								#outfile.write(lines[index])							
 							if(index>=64+count*4):
 								outfile.write(lines[index])
+					if word in lines[65]:
+						if(i==0):
+							if(index < 65):
+								outfile.write(lines[index])
+							if(index == 65+4*i):
+								outfile.write(lines[index])
+							if(index == 65+4*i+1):
+								outfile.write(lines[index])
+							if(index == 65+4*i+2):
+								outfile.write(lines[index])
+							#if(index == 61+4*i+3):
+								#outfile.write(lines[index])
+							if(index>=65+count*4):
+								outfile.write(lines[index])
+						else:
+							if(index < 65):
+								outfile.write(lines[index])
+							if(index == 65+4*i-1):
+								outfile.write(lines[index])
+							if(index == 65+4*i):
+								outfile.write(lines[index])
+							if(index == 65+4*i+1):
+								outfile.write(lines[index])
+							if(index == 65+4*i+2):
+								outfile.write(lines[index])
+							#if(index == 61+4*i+3):
+								#outfile.write(lines[index])							
+							if(index>=65+count*4):
+								outfile.write(lines[index])
 		with open("../"+path+"/wireguard_command", "a") as outfile:
 			outfile.write("timeout 5m proverif"+" "+filename[:-3]+"_"+str(i)+".pv"+" > "+filename[:-3]+"_"+str(i)+".pv.log"+"\n")