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]
No references recorded for this publication.
No citations of this publication recorded.