Protecting circuits from computationally bounded and noisy leakageSebastian FaustTal Rabinet al.2014SIAM Journal on Computing