Compilation Integrity Assurance through Deep Code Alignment

  • RAMOT at Tel Aviv University Ltd.
  • From Israel
  • Responsive
  • Innovative Products and Technologies

Summary of the technology

Compilation Integrity Assurance through Deep Code Alignment
Project ID : 4-2016-1012

Details of the Technology Offer

TECHNOLOGY & POTENTIAL APPLICATION
We propose a completely novel approach for detecting hardware Trojans. We obtain, from the foundry or by other means the binaries. These binaries are expected to largely match the programming code provided by the hardware designer with some unavoidable additions inserted in order to support debugging, QA, and to comply with manufacturing constraints. We then identify for every line of the binaries (viewed as assembly code) the matching line in the original C code. Following this step, we can easily identify insertions and other forms of modifications. The engineers of the supplier company or any other verifying agency can then readily track these modifications and tag each one as malicious or not.
THE NEED
Hardware Trojans are both persistent and extremely hard to detect. In this project, we address the problem of executable component addition, substitution, and re-programming in the supply chain.

PATENTS
Patent pending

Project manager

Oren Calfon
VP Business Development, ICT

Project researchers

Lior Wolf
T.A.U Tel Aviv University, Exact Sciences
School of Computer Science

Related Keywords

  • Information Processing, Information System, Workflow Management
  • Computer Hardware
  • Computer Software Technology
  • Data Protection, Storage Technology, Cryptography, Data Security
  • Internet Technologies/Communication (Wireless, Wi-Fi, Bluetooth)
  • IT and Telematics Applications
  • Telecommunications, Networking
  • Audiovisual Equipment and Communication
  • Mobile Communications
  • Network Technology, Network Security
  • SatelliteTechnology/Systems/Positioning/Communication in GPS - Global Positioning System
  • Communications Protocols, Interoperability
  • Security systems
  • Data Communications
  • Data communication components
  • Communications processors/network management
  • Satellite Microwave Communications
  • Computers
  • Communications/networking
  • Other Computer Related
  • ICT and Media
  • Data Mining / Handling / Processing
  • ICT and Media
  • cyber security
  • ICT and Media
  • computer sciences

About RAMOT at Tel Aviv University Ltd.

Ramot is Tel Aviv University's (TAU) technology transfer company and its liaison to industry, bringing promising scientific discoveries made at

RAMOT at Tel Aviv University Ltd.

Never miss an update from RAMOT at Tel Aviv University Ltd.

Create your free account to connect with RAMOT at Tel Aviv University Ltd. and thousands of other innovative organizations and professionals worldwide

RAMOT at Tel Aviv University Ltd.

Send a request for information
to RAMOT at Tel Aviv University Ltd.

About Technology Offers

Technology Offers on Innoget are directly posted
and managed by its members as well as evaluation of requests for information. Innoget is the trusted open innovation and science network aimed at directly connect industry needs with professionals online.

Help

Need help requesting additional information or have questions regarding this Technology Offer?
Contact Innoget support