Text this: Short attribute-based signatures for arbitrary Turing machines from standard assumptions