Text this: Research on the programming language for proxy re-encryption