Cryptology ePrint Archive: Report 2009/543
Available versions in chronological order
20091110:015301 (posted 10-Nov-2009 01:53:01 UTC)
A Formal Framework for Cryptanalyzing RFID Distance Bounding Protocols
Gildas Avoine and Muhammed Ali Bingol and Suleyman Kardas and Cedric Lauradoux and Benjamin Martin
20100216:134440 (posted 16-Feb-2010 13:44:40 UTC)
A Formal Framework for Cryptanalyzing RFID Distance Bounding Protocols
Gildas Avoine and Muhammed Ali Bingol and Suleyman Kardas and Cedric Lauradoux and Benjamin Martin
[
Cryptology ePrint archive
]