Azrael-W/CKFAKE-Proverif

The Proverif model of Cuckoo filter-based hybrid cryptographic authentication protocol in VANET