Programming languages for cybersecurity