Is KAX17 Performing De-Anonymization Attacks Against Tor Users?