Computing on Authenticated Data