Binary Analysis based on Symbolic Execution and Reversible x86 Instructions

Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate. Binary Analysis based on Symbolic Execution and Reversible x86 Instructions. Fundamenta Informaticae, 153(1-2):105-124, 2017. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.