As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function …