Text this: GRIFFIN: Enhancing the security of smart contracts