Fixed bugs in side channel data leakage VC