An EU team has enabled the design of genuinely secure computer systems.

Much of modern life depends on the supposed security of large computer systems such as those used in government, banking, e-commerce, and the power grid. Yet all these systems and their applications are insecure and therefore vulnerable to attack.

Further details: Tool for cybersecurity [1]