@inproceedings{celosia:hal-02651398, TITLE = {{Valkyrie: A Generic Framework for Verifying Privacy Provisions in Wireless Networks}}, AUTHOR = {Celosia, Guillaume and Cunche, Mathieu}, URL = {https://inria.hal.science/hal-02651398}, BOOKTITLE = {{WiSec 2020 - 13th ACM Conference on Security and Privacy in Wireless and Mobile Networks}}, ADDRESS = {Linz, Austria}, PAGES = {278--283}, YEAR = {2020}, MONTH = Jul, DOI = {10.1145/3395351.3399340}, KEYWORDS = {Privacy ; Internet of Things ; Tracking ; Address randomization}, PDF = {https://inria.hal.science/hal-02651398/file/paper.pdf}, HAL_ID = {hal-02651398}, HAL_VERSION = {v1}, }