Mathematical modelling of Logic Locking against the insertion of Hardware Trojan in an Intregated Circuit

Jonathan Fontaine (1, 2) , Lilia Zaourar (1) , Roselyne Chotin (2)

1 LECA - Laboratoire Environnement de Conception & Architecture
2 CIAN - Circuits Intégrés Numériques et Analogiques

Domains: Operations Research [cs.RO]; Cryptography and Security [cs.CR]

Jonathan Fontaine, Lilia Zaourar, Roselyne Chotin. Mathematical modelling of Logic Locking against the insertion of Hardware Trojan in an Intregated Circuit. 31 European conference on operational research, Jul 2021, Athènes, Greece. ⟨cea-03463941⟩