Ce manuscrit d’Habilitation à Diriger des Recherches présente une synthèse de mes travaux menés à l’INSA Centre Val de Loire dans le laboratoire LIFO (Laboratoire d’Informatique Fondamentale d’Orléans) depuis septembre 2005. Nous nous sommes intéressés à la sécurité de différents systèmes, depuis les systèmes à large échelle ou à hautes performances jusqu'à ceux qui sont embarqués comme les téléphones mobiles et les cartes à puce. Nos contributions sont structurées autour de trois axes. Dans un premier temps, nous abordons le problème de la conception de politiques de sécurité pour le contrôle d'accès pour des systèmes hautes performances ou collaboratifs. Dans un second temps, nous explorons la problématique de l'intégrité du flot de contrôle. Les contributions présentées permettent tout à la fois d'élaborer des attaques ou des contremesures pour les malware Android et les cartes à puce, dont les garanties sont prouvées formellement. Enfin, dans la dernière partie nous nous intéressons à la problématique de la protection des données personnelles dans le contexte particulier de la téléphonie mobile. Pour ces systèmes, des contremesures pour traiter les attaques par canaux auxiliaires ainsi qu'un protocole respectueux de la vie privée sont proposés.