Tor-ontwikkelaars zeggen dat netwerk veilig is na verhaal over deanonimisering