Sylvain Guilley, Karim Khalfallah, Victor Lomné, Jean-Luc Danger. Formal Framework for the Evaluation of Waveform Resynchronization Algorithms. In Claudio Agostino Ardagna, Jianying Zhou, editors, Information Security Theory and Practice. Security and Privacy of Mobile Devices in Wireless Communication - 5th IFIP WG 11.2 International Workshop, WISTP 2011, Heraklion, Crete, Greece, June 1-3, 2011. Proceedings. Volume 6633 of Lecture Notes in Computer Science, pages 100-115, Springer, 2011. [doi]
Abstract is missing.