@inproceedings{P116.037,
author={Goubet, Lucien and Heydemann, Karine and Encrenaz, Emmanuelle and De Keulenaer, Ronald},
title={Efficient design and evaluation of countermeasures against fault attacks using formal verification},
booktitle={LECTURE NOTES IN COMPUTER SCIENCE},
year={2016},
volume={9514},
pages={177-192},
publisher={Springer International Publishing},
address={Bochum, Germany},
}