RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions
Journal
-
- FM 2016: Formal Methods
-
FM 2016: Formal Methods 779-785, 2016
Springer International Publishing
- Tweet
Details 詳細情報について
-
- CRID
- 1361137045574285824
-
- ISSN
- 16113349
- 03029743
-
- Data Source
-
- Crossref