Michaël Rusinowitch, Mathieu Turuani. Deciding insecurity for non-atomic keys.
Dagstuhl Seminar on Specification and Analysis of Secure Cryptographic Protocols, D. Basin (Freiburg), G. Denker (SRI, Menlo Park), G. Lowe (Leicester), J. Millen (SRI Menlo Park), 2001, Dagstuhl, Germany.
⟨inria-00100558⟩