The present paper studies the role of social security in an economy populated by overlapping generations of individuals that have time-consistent or time-inconsistent preferences, face mortality and individual income risk, borrowing constraints as well as progressive income taxes. Our...