This area focuses on developing methods and frameworks for the secure use, storage, and communication of data, developing trustworthy software and protecting infrastructure.
As systems become increasingly dependent on data and software for automation, control, decision-making, and delivery of services, the trustworthiness and security of data and software becomes increasingly critical. We combine formal methods with advances in data science, machine learning, AI and quantum computing to achieve real-time data protection, user privacy and secure communications.
