What was the name of all the us troops who killed Osama bin Laden?

The names of the Seals who were on that mission have not been made public, and probably never will be, for their own protection as much as anything else.