Dataset for REMaQE evaluation

Citation Author(s):
Meet
Udeshi
NYU Tandon School of Engineering
Prashanth
Krishnamurthy
NYU Tandon School of Engineering
Hammond
Pearce
UNSW Sydney
Ramesh
Karri
NYU Tandon School of Engineering
Farshad
Khorrami
NYU Tandon School of Engineering
Submitted by:
Meet Udeshi
Last updated:
Sun, 05/12/2024 - 16:11
DOI:
10.21227/r7e6-bk48
Data Format:
.json, .elf
License:
Creative Commons Attribution
65 Views
Categories:
Security
Keywords:
reverse engineering; binary analysis; mathematical equations
0
0 ratings - Please login to submit your rating.
ACCESS DATASET CITE SHARE/EMBED

Abstract 

Dataset for evaluation of REMaQE

This dataset contains 3,137 randomly generated math equations, that have been compiled into ARM 32-bit HardFloat binaries using C and Simulink implementations, with 4 different optimization levels.
The binaries are reverse engineered to math equations by REMaQE, and this dataset covers a wide variety of binary implementations to evaluate REMaQE's performance.
Each generated equation is implemented as a C function and a Simulink model.
The C function is compiled for ARM32-HF target using the GCC compiler (arm-linux-gnueabhihf-gcc).
The Simulink model is compiled for the same target using Simulink's code generation feature.
Four optimization levels from "-O0" to "-O3" are used during compilation to obtain a variety of implementations.

The file "REMaQEv2_limitations.zip" contains additional binaries that represent the limitations of REMaQE.

Dataset Files

LOGIN TO ACCESS DATASET FILES

QUESTIONS?