European Network for Cyber Security is a nonprofit institution in The Hague, Netherlands known for cryptography, formal verification, and information security.