search

tum-i4 / sip-oblivious-hashing

7 stars 4 forks source link

[CLOSED] Utilize short range hash on loop blocks - better coverage #64

Open mr-ma opened 6 years ago

mr-ma commented 6 years ago

Issue by mr-ma Thursday Apr 26, 2018 at 09:24 GMT Originally opened as https://github.com/tum-i22/sip-oblivious-hashing/issues/64

mr-ma commented 6 years ago

Comment by anahitH Wednesday May 02, 2018 at 17:25 GMT

Apply short range oh to data independent loop blocks. In order to have an assertion with a single valid hash value insert assertion for loop paths to loop exit block. If a given loop is data independent it will either have deterministic number of iteration or no iteration at all. Thus hash variable at exit block should either have a default value (e.g. -1) or precomputed value. In order to be processed by short range OH loop should not only be data independent but it also should not depend on any argument of the function.