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