EasyCrypt provides simple interface for decryptable encryption.