encK_o0_upd (KFV §28: the uniform rounds and Lemma 16 (forward and opposite) as fixed IL code)

Initializing...

encK_o0_upd (KFV §28: the uniform rounds and Lemma 16 (forward and opposite) as fixed IL code) · Prove2Me