Cycle-Accurate Timing Channel Analysis of Binary Code

Krak, R. (2017) Cycle-Accurate Timing Channel Analysis of Binary Code.

[img]
Preview
PDF
570kB
Abstract:Software execution time may leak information about secrets processed by that software through vulnerabilities known as timing channels. Previous automated analysis techniques rely on a highly abstract model of instruction execution time, which limits the accuracy of these tools. We constructed a detailed model of instruction execution time for the ARM Cortex-A7; and present SMArTCAT, a tool which relies on this timing model to identify timing channels in binary code. SMArTCAT is the first automated tool which can identify timing channels caused by instructions with parameter-dependent execution time, as well as traditional timing channels. This allows to more accurately test critical pieces of software for the presence of timing channels, which we demonstrate in several case studies.
Item Type:Essay (Master)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science MSc (60300)
Link to this item:http://purl.utwente.nl/essays/72321
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page