Formally proved security of assembly code against power analysis - A case study on balanced logic

Pablo Rauzy, Sylvain Guilley, Zakaria Najm. Formally proved security of assembly code against power analysis - A case study on balanced logic. J. Cryptographic Engineering, 6(3):201-216, 2016. [doi]

Authors

Pablo Rauzy

This author has not been identified. Look up 'Pablo Rauzy' in Google

Sylvain Guilley

This author has not been identified. Look up 'Sylvain Guilley' in Google

Zakaria Najm

This author has not been identified. Look up 'Zakaria Najm' in Google