Charu Arora, Mathieu Turuani. Validating Integrity for the Ephemerizer s Protocol with CL-Atse. In Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada, editors, Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese Collaboration. Volume 5458 of Lecture Notes in Computer Science, pages 21-32, Springer, 2009. [doi]
Abstract is missing.