1 / 5

The Global Cybersecurity Innovation Summit

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

jakeem-barlow
Download Presentation

The Global Cybersecurity Innovation Summit

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

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

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

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

  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 (egSysML) • 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

More Related