Prosecco – Programming securely with cryptography