Formal security evaluation of hardware Boolean masking against second-order attacks

Houssem Maghrebi, Sylvain Guilley, Jean-Luc Danger. Formal security evaluation of hardware Boolean masking against second-order attacks. In HOST 2011, Proceedings of the 2011 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST), 5-6 June 2011, San Diego, California, USA. pages 40-46, IEEE Computer Society, 2011. [doi]

Abstract

Abstract is missing.