Université de Rennes 1 Security enhancement in embedded hard real-time systems Amélioration de la sécurité des systèmes embarqués, temps réels et critiques Sécurité informatiquesystème temps-réelsécurité logicielintégrité du flux de donnée computer securityreal-time systemssoftware securitydata-flow integrity Systèmes embarqués (informatique)Mesures de sûreté Temps réel (informatique) Les systèmes temps-réels embarquent de plus en plus de moyen pour communiquer sans fils avec des utilisateurs extérieurs. Ces mêmes moyens peuvent être détournés pour attaquer ces systèmes, brisant les garanties de ces derniers et pouvant engendrer des accidents. Pour protéger les systèmes temps-réels contre ces nouvelles attaques, il est nécessaire de développer de nouvelles protections prenant en compte les spécificités de ces systèmes. Dans cette thèse, nous cherchons à améliorer la sécurité des systèmes temps-réels contre des attaques dites par corruption de mémoire. Ces attaques utilisent une mauvaise gestion de la mémoire dans un programme pour modifier son comportement. Nous nous intéressons en particulier à une défense appelée Intégrité du flux de donnée, qui peut protéger contre une vaste classe d'attaque par corruption de mémoire. Nous adaptons cette protection au contexte des systèmes temps-réels en optimisant le temps d'exécution dans le pire cas, une métrique fondamentale pour garantir la bonne exécution de ces systèmes. Real-time systems have more and more ways to communicate wirelessly with external users. These same means can be hijacked to attack these systems, breaking their guarantees and potentially causing accidents. To protect real-time systems against these new attacks, it is necessary to develop new protections taking into account the specificities of these systems. In this thesis, we seek to improve the security of real-time systems against so-called memory corruption attacks. These attacks use a bad memory management in a program to modify its behavior. We are particularly interested in a defense called Data Flow Integrity, which can protect against a large class of memory corruption attacks. We adapt this protection to the context of real-time systems by optimizing the worst-case execution time, a fundamental metric to ensure the correct execution of these systems. Electronic Thesis or DissertationText en application/pdf1 : 1161 Kohttps://ged.univ-rennes1.fr/nuxeo/site/esupversions/296e0a7c-d4b0-4588-abe0-648f4a7b59e8 Bellec Nicolas 1997-01-29 FR 272575054 nicolas.bellec@ens-rennes.fr 2023URENS029 http://www.theses.fr/2023URENS029 2023-05-23 Informatique Université de Rennesthesis.degree.grantor_1 26693823X Doctorat non ouiPuautIsabelleintervenant_1071169733AvoineGildasintervenant_207459608XCarleThomasintervenant_518325581XHietGuillaumeintervenant_6133411206NicometteVincentintervenant_3078717639HeydemannKarineintervenant_4082986762 MATISSEecoleDoctorale_1 267602553 IRISA partenaireRecherche_1 026386909 ddc:004 PuautIsabelleAvoineGildasNicometteVincentHeydemannKarineCarleThomasHietGuillaumeUniversité de RennesMATISSE IRISA ASCII PDF 1189113