Computer-aided cryptography : some tools and applications