publication venue for Formally proved security of assembly code against power analysis. 6:201-216. 2015 Practical improvements of side-channel attacks on AES: feedback from the 2nd DPA contest. 4:259-274. 2014 Achieving side-channel high-order correlation immunity with leakage squeezing. 4:107-121. 2014
