The article says even HORNET wouldn't be safe if broad control of ISPs is in place, and I really wonder whether there are sufficient backdoors in place right now, either through hardware or by laws that require ISPs to provide access to law enforcement / government to circumvent the effectiveness of TOR and HORNET.