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]

@inproceedings{MaghrebiGD11-0,
  title = {Formal security evaluation of hardware Boolean masking against second-order attacks},
  author = {Houssem Maghrebi and Sylvain Guilley and Jean-Luc Danger},
  year = {2011},
  doi = {10.1109/HST.2011.5954993},
  url = {http://dx.doi.org/10.1109/HST.2011.5954993},
  researchr = {https://researchr.org/publication/MaghrebiGD11-0},
  cites = {0},
  citedby = {0},
  pages = {40-46},
  booktitle = {HOST 2011, Proceedings of the 2011 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST), 5-6 June 2011, San Diego, California, USA},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4577-1059-9},
}