The present paper aims to quantify efficiency properties of real world social security systems of various institutional designs in order to identify an optimal pension design. Starting from a benchmark economy without social security, we introduce alternative pension systems and compare the...