It is still the correct form. The "ß" was changed to "ss" after short vowels only. It is still "ß" after long vowels. Also, names were not changed in general.
Today, Gauß would hate to visit the US, by the way. I have that "ß" in my last name, too, and it is always the same fun discussion at the security about how my name looks funny, whether I am sure that this is not a capital "B" in the middle of my name, about why my name is spelled differently in my passport on the one hand and the machine-readable part of my passport and the boarding pass on the other hand and so on...