Defeating Embedded Cryptographic Protocols by Combining Second-Order with Brute Force. - Benoit Feix; Andjy Ricart; Benjamin Timon; Lucille Tordella (CARDIS, 2016)