The Global Cybersecurity Innovation Summit

THE BRITISH MUSEUM, LONDON16 & 17 SEPTEMBER, 2014

Supported by Her Majesty’s Government and U.S. Department of Homeland Security, Science & Technology Directorate

SINET presents

The Global Cybersecurity Innovation Summit 2014

Nick Tudor

Business Director

Solution

3

Object code operating on the

processor

Source code

System Design Model

Security RequirementsAutomated 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• 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

• 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