Search Results - "Lacombe, Guilhem" :: K.UTB vyhledávací portál

Combining static analysis and dynamic symbolic execution in a toolchain to detect fault injection vulnerabilities

by Lacombe, Guilhem, Feliot, David, Boespflug, Etienne, Potet, Marie-Laure
Published in Journal of cryptographic engineering (01.04.2024)

Get full text

Journal Article

by Girol, Guillaume, Lacombe, Guilhem, Bardin, Sébastien
Published in Proceedings of ACM on programming languages (20.06.2024)

Get full text

Journal Article

by Lacombe, Guilhem, Feliot, David, Boespflug, Etienne, Potet, Marie-Laure
Published in arXiv.org (07.03.2023)

Get full text

Paper Journal Article

by Lacombe, Guilhem, Masalygina, Kseniia, Tahiri, Anass, Adam, Carole, Lauradoux, Cédric
Year of Publication 01.02.2021

Get full text

Journal Article

by Lacombe, Guilhem, Masalygina, Kseniia, Tahiri, Anass, Adam, Carole, Lauradoux, Cédric
Published in arXiv.org (01.02.2021)

Get full text

Paper