Ein algorithmischer Rahmen für die differentiell private Datenanalyse auf vertrauenswürdigen Prozessoren