KRT18 and infection: As a direct test of vaccine efficacy, we conducted a viral challenge study using transgenic mice that are susceptible to infection through expression of the human ACE2 protein: k18-hACE2 (38, 39).