How is he vac-banned but can join IBIS servers?

Last time I checked if you are vac banned you can't join ANY secure servers.