Defeating Embedded Cryptographic Protocols by Combining Second-Order with Brute Force.

Benoit Feix, Andjy Ricart, Benjamin Timon, Lucille Tordella

Browse the full CARDIS paper archive.