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}, }