ProvenRun est une entreprise française spécialisée dans la cybersécurité des systèmes embarqués et de l'Internet des objets (IoT). Fondée en 2009 par Dominique Bolignano, elle se concentre sur une approche de "sécurité par conception" (security-by-design) pour développer des solutions logicielles hautement sécurisées destinées à des secteurs critiques tels que l'automobile, l'aérospatial, la défense et les semi-conducteurs.