"The Moderna vaccine is also known as “mRNA-1273”, but appears to lack a brand name other than “Moderna COVID-19 vaccine” which is what it says on the product label"
Having a name for a big CVE is actually quite a good idea because it's much easier to string a narrative together around it to convince people to take it seriously.
Spectre is better than something like "Novel data exfiltration from branch prediction using a cache side-channel, variant 3" or similar.
It’s not surprising. Desperate need for a vaccine and not enough supply means you don’t really need branding. No doubt it will be branded once Covid is under control.
VaxMod? I have no ideas :(