-

Publications of Karine Heydemann

Conference publications

  1. Lucien Goubet, Karine Heydemann, Emmanuelle Encrenaz and Ronald De Keulenaer Efficient design and evaluation of countermeasures against fault attacks using formal verification LECTURE NOTES IN COMPUTER SCIENCE, Vol. 9514, pp. 177-192 (2016)