1. The Global Cybersecurity Innovation Summit THE BRITISH MUSEUM, LONDON 16 & 17 SEPTEMBER, 2014 Supported by Her Majesty’s Government and U.S. Department of Homeland Security, Science & Technology Directorate SINET presents

2. The Global Cybersecurity Innovation Summit 2014 Nick Tudor Business Director

3. Solution 3 Object code operating on the processor Source code System Design Model Security Requirements Automated check - Modelworks Automated check - CLawZ Semi-automated check Remove the need for considerable amounts of test Retain IP Fast iterations – get to market Between 30-80% cost savings Evidence to support security case

4. Background 4 Team background: All 9 employees have at least MSc in Computer Science/Maths Led by 3 Directors who have experience managing large companies, and spin-outs, systems and software certification as well as international recognition for Formal Methods excellence (Prof at Oxford Computer Science Department) Customers: DARPA/Draper Labs, DSTL, Horstman, Blue Bear, Jaguar Land Rover, QinetiQ Strategy based on key sectors (Cyber, Robotics, Aerospace, Automotive) Use widely available development tools (eg SysML) Developing technology to meet individual clients needs Expand into other countries/sectors as required with products

5. Summary 5 Used out technology to : Prove autonomous systems behavior to meet CAA/FAA certification requirements Independently proved Eurofighter Typhoon Flight Control Systems Software (300,000+ lines of code) Shown flaws in highly assured cyber military systems Interested in projects that need assurance that the system and software comply with regulations, for example Critical National Infrastructure Robotics/Autonomous systems Finance