✦ LIBER ✦

[IEEE 2010 IEEE 23rd Computer Security Foundations Symposium (CSF) - Edinburgh, United Kingdom (2010.07.17-2010.07.19)] 2010 23rd IEEE Computer Security Foundations Symposium - Formal Verification of Privacy for RFID Systems

✍ Scribed by Brusó, Mayla; Chatzikokolakis, Konstantinos; Hartog, Jerry den

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 IEEE 23rd Computer Security F

✍ Akhawe, Devdatta; Barth, Adam; Lam, Peifung E.; Mitchell, John; Song, Dawn 📂 Article 📅 2010 🏛 IEEE ⚖ 995 KB