Un Cheval de Troie Matériel (CTM) est un matériel malveillant introduit durant la conception ou la fabrication d'un circuit intégré (CI) dans le but de désactiver, de perturber ou de détruire le circuit concerné, ou bien de permettre la fuite d'informations confidentielles. Des méthodes de conception existent pour contrer ces CTMs, mais elles modifient l'architecture du circuit avec un impact important sur ses performances. Ce projet propose de prendre en compte conjointement la lutte contre les CTMs et les performances au plus tôt de la conception. Pour cela, il est envisagé d'établir et d'évaluer des propriétés de sécurité, puis de les intégrer à la synthèse avec des techniques d'optimisation multi-objectifs, qui s'appuieront sur une modélisation mathématique du problème intégrant à la fois les performances et les effets des CTMs. L'ensemble sera validé sur des exemples industriels. Le circuit ainsi conçu permettra de lutter contre la cybercriminalité, sans surcoût important.