Software countermeasures for control flow integrity of smart card C codes Jean-François Lalande, Karine Heydemann, Pascal Berthomé To cite this version: Jean-François Lalande, Karine Heydemann, Pascal Berthomé. Software countermeasures for control flow integrity of smart card C codes. ESORICS - 19th European Symposium on Research inComputer Security, Sep 2014, Wroclaw, Poland. pp.200-218, 10.1007/978-3-319-11212-1_12. hal-01059201 HAL Id: hal-01059201 https://hal.inria.fr/hal-01059201 Submitted on 13 Sep 2014 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Software countermeasures for control flow integrity of smart card C codes Jean-Fran¸cois Lalande13, Karine Heydemann2, and Pascal Berthom´e3 1 Inria, Sup´elec, CNRS, Univ. Rennes 1, IRISA, UMR 6074 35576 Cesson-S´evign´e, France,
[email protected] 2 Sorbonne Universit´es, UPMC, Univ. Paris 06, CNRS, LIP6, UMR 7606 75005 Paris, France,
[email protected] 3 INSA Centre Val de Loire, Univ. Orl´eans, LIFO, EA 4022 18022 Bourges, France,
[email protected] Abstract. Fault attacks can target smart card programs in order to disrupt an execution and gain an advantage over the data or the embed- ded functionalities.