How to Find Out if Your Device is Vulnerable to KRACK Attack?