@misc{cryptoeprint:2012:430, author = {Sébastien Briais and Sylvain Guilley and Jean-Luc Danger}, title = {A formal study of two physical countermeasures against side channel attacks}, howpublished = {Cryptology ePrint Archive, Report 2012/430}, year = {2012}, url = {http://eprint.iacr.org/2012/430}, }