View in EDS

RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions.

Saved in:
Bibliographic Details
Title: RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions.
Authors: Stoenescu, Teodor, Stefanescu, Alin, Predut, Sorina, Ipate, Florentin
Source: FM 2016: Formal Methods; 2016, p779-785, 7p
Database: Complementary Index
Be the first to leave a comment!
You must be logged in first