@misc{cryptoeprint:2011:534, author = {Maxime Nassar and Sylvain Guilley and Jean-Luc Danger}, title = {Formal Analysis of the Entropy / Security Trade-off in First-Order Masking Countermeasures against Side-Channel Attacks}, howpublished = {Cryptology ePrint Archive, Report 2011/534}, year = {2011}, url = {http://eprint.iacr.org/2011/534}, }