Presumably Congress could strip a former President of those benefits as they have in general in the past, which was then reversed during the Obama administration. I assume they could even strip a specific individual of those benefits while leaving them intact for others.