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

	Name	Last modified	Size	Description
	Parent Directory		-
	co1.p	2024-10-04 18:22	108
	intruder_knows_8.p	2024-10-04 18:22	110
	intruder_knows_6.p	2024-10-04 18:22	111
	intruder_knows_7.p	2024-10-04 18:22	114
	intruder_knows_2.p	2024-10-04 18:22	118
	intruder_knows_3.p	2024-10-04 18:22	118
	intruder_knows_5.p	2024-10-04 18:22	118
	intruder_knows_4.p	2024-10-04 18:22	119
	intruder_knows_1.p	2024-10-04 18:22	120
	double_inverse_cancel.p	2024-10-04 18:22	130
	keys_are_symmetric.p	2024-10-04 18:22	135
	dec_enc_cancel.p	2024-10-04 18:22	142
	enc_dec_cancel.p	2024-10-04 18:22	142
	attacker_can_encrypt.p	2024-10-04 18:22	175
	data_encrypt.p	2024-10-04 18:22	178
	data_decrypt.p	2024-10-04 18:22	181
	receive_working_key_from_switch.p	2024-10-04 18:22	199
	encrypt_a_stored_comms_key.p	2024-10-04 18:22	204
	key_translate_from_ZCMK_to_TMK.p	2024-10-04 18:22	210
	key_translate_from_TMK_to_ZCMK.p	2024-10-04 18:22	213
	encrypt_a_PIN_derivation_key_under_a_TMK.p	2024-10-04 18:22	219
	data_translate_between_interchange_keys.p	2024-10-04 18:22	226
	data_translate_PIN_from_local_storage_to_interchange_key.p	2024-10-04 18:22	233
	data_translate_PIN_from_local_to_interchange_key.p	2024-10-04 18:22	236