RAMOT at Tel Aviv University Ltd.

Compilation Integrity Assurance through Deep Code Alignment

Posted by RAMOT at Tel Aviv University Ltd.Responsive · Innovative Products and Technologies · Israel

Summary of the technology

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

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.

Technology Transfer Office from Israel

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

Send your request

By clicking "Send your request" you are signing up and accepting our Terms of Service and Privacy policy

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.