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