Are those guys so empowered that protecting yourself is absolutely imposible? Why hiding their identitity? Is it possbile to collect those facts and file a harassment close? If HRs leak names what makes victims hide them? It would be much better if this never happened but with hiding those freaks we indulge such behaviours to more and more dependents. Nevertheless I’m sorry that happened for you and happy you’ve got over it.