This chapter provides an overview of the relevant formal social protection (SP) frameworks in Kenya and Tanzania, focusing on how they relate (or not) to informal workers, including recent advances made in this regard. The chapter also positions the formal SP schemes in relation to the SP literature and shows that both countries are undergoing a gradual shift from the mostly residual towards the more universal end of the SP spectrum, albeit at their own pace. For instance, whilst universal health coverage has become a major policy priority in Tanzania, progress is further ahead in Kenya where a universal health insurance pilot program was carried out in four counties during 2020. As for pensions, newer models range from being fully government-funded to relying on informal worker (and employer) contributions, the latter limiting the effectiveness and sustainability of the schemes. Although SP coverage has increased for the general population in both Kenya and Tanzania, when it comes to informal workers, uptake remains limited due to the factors like the cost burden, inadequate benefits, and lack of information on the different SP options.