Trustworthy software systems: systems that come with provable security, safety and reliability guarantees.