BACKGROUND: Sub-Saharan Africa has the highest rate of cervical cancer cases and deaths worldwide. Kenya introduced a quadrivalent HPV vaccine (GARDASIL, hereafter referred to as GARDASIL-4) for ten-year-old girls in late 2019 with donor support from Gavi, the Vaccine Alliance. As Kenya may soon graduate from Gavi support, it is important to evaluate the potential cost-effectiveness and budget impact of the current HPV vaccine, and potential alternatives. METHODS: We used a proportionate outcomes static cohort model to evaluate the annual budget impact and lifetime cost-effectiveness of vaccinating ten-year-old girls over the period 2020-2029. We included a catch-up campaign for girls aged 11-14 years in 2020. We estimated cervical cancer cases, deaths, disability adjusted life years (DALYs), and healthcare costs (government and societal perspective) expected to occur with and without vaccination over the lifetimes of each cohort of vaccinated girls. For each of the four products available globally (CECOLIN©, CERVARIX©, GARDASIL-4©, and GARDASIL-9 ©), we estimated the cost (2021 US$) per DALY averted compared to no vaccine and to each other. Model inputs were obtained from published sources, as well as local stakeholders. RESULTS: We estimated 320,000 cases and 225,000 deaths attributed to cervical cancer over the lifetimes of the 14 evaluated birth cohorts. HPV vaccination could reduce this burden by 42-60 %. Without cross-protection, CECOLIN had the lowest net cost and most attractive cost-effectiveness. With cross-protection, CERVARIX was the most cost-effective. Under either scenario the most cost-effective vaccine had a 100 % probability of being cost-effective at a willingness-to-pay threshold of US$ 100 (5 % of Kenya's national gross domestic product per capita) compared to no vaccination. Should Kenya reach its target of 90 % coverage and graduate from Gavi support, the undiscounted annual vaccine program cost could exceed US$ 10 million per year. For all three vaccines currently supported by Gavi, a single-dose strategy would be cost-saving compared to no vaccination. CONCLUSION: HPV vaccination for girls is highly cost-effective in Kenya. Compared to GARDASIL-4, alternative products could provide similar or greater health benefits at lower net costs. Substantial government funding will be required to reach and sustain coverage targets as Kenya graduates from Gavi support. A single dose strategy is likely to have similar benefits for less cost.