Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/SWV238+1/VerificationProblems/iProver-SAT---3.7.CSA-Sat.s

	Name	Last modified	Size	Description
	Parent Directory		-
	receive_working_key_from_switch.p	2024-10-04 18:22	205
	keys_are_symmetric.p	2024-10-04 18:22	141
	key_translate_from_ZCMK_to_TMK.p	2024-10-04 18:22	216
	key_translate_from_TMK_to_ZCMK.p	2024-10-04 18:22	219
	intruder_knows_8.p	2024-10-04 18:22	116
	intruder_knows_7.p	2024-10-04 18:22	120
	intruder_knows_6.p	2024-10-04 18:22	117
	intruder_knows_5.p	2024-10-04 18:22	124
	intruder_knows_4.p	2024-10-04 18:22	125
	intruder_knows_3.p	2024-10-04 18:22	124
	intruder_knows_2.p	2024-10-04 18:22	124
	intruder_knows_1.p	2024-10-04 18:22	126
	encrypt_a_stored_comms_key.p	2024-10-04 18:22	210
	encrypt_a_PIN_derivation_key_under_a_TMK.p	2024-10-04 18:22	225
	enc_dec_cancel.p	2024-10-04 18:22	148
	double_inverse_cancel.p	2024-10-04 18:22	136
	dec_enc_cancel.p	2024-10-04 18:22	148
	data_translate_between_interchange_keys.p	2024-10-04 18:22	232
	data_translate_PIN_from_local_to_interchange_key.p	2024-10-04 18:22	242
	data_translate_PIN_from_local_storage_to_interchange_key.p	2024-10-04 18:22	239
	data_encrypt.p	2024-10-04 18:22	184
	data_decrypt.p	2024-10-04 18:22	187
	co1.p	2024-10-04 18:22	114
	attacker_can_encrypt.p	2024-10-04 18:22	181