Yan Peng
Results
1
comments of
Yan Peng
The shape of the term generated for HMAC_Init_ex theorem has changed in SAW. The subterm generated for the C code for slicing `key` and putting it back together into 64...