This is a preliminary version of the source code for TZSlicer based on our HOST 2018 publication: "TZSlicer: Security-Aware Dynamic Program Slicing for Hardware Isolation". Further updates of the code will be provided to this site as the project continues. Please direct your questions and comments to hwselunl@gmail.com.
TZSlicer
1 Framework Overview
-
TZSlicer is a C program slicer for hardware isolation frameworks (e.g., ARM TrustZone), which automatically allocates the sensitive data/code in the secure world and non-sensitive data/code in the normal world.
-
TZSlicer includes the following components:
- Taint Analyzer: using TaintGrind (v.3.12.0)
- Program Slicer and Slice Optimizer: written in Python (v.3.6.1)
2 Execution Instructions
- Install TaintGrind (v.3.12.0)
- Execution
sh run.sh $NAME_OF_TEST_PROGRAM $SLICE_TYPE1 $SLICE_TYPE2 $OPTIMIZE_TYPE1 $OPTIMIZE_TYPE2
- NAME_OF_TEST_PROGRAM is the file name in the TestPrograms folder
- SLICE_TYPE1 and SLICE_TYPE2 indicate the slicing method.
- TZ-M: 0 0
- TZ-B: 1 0
- TZ-L: 1 1
- OPTIMIZE_TYPE1 and OPTIMIZE_TYPE1 indicate the optimization method
- Disable optimization: 0 0
- Enable optimization: $x 0
- x indicates the number of iterations being unrolled e.g., to slice the FFT application:
- TZ-M: sh run.sh fft 0 0 0 0
- TZ-B: sh run.sh fft 1 0 0 0
- TZ-L: sh run.sh fft 1 1 0 0
- TZ-L+(x=2): sh run.sh fft 1 1 2 0