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

DOI Web Site 被引用文献1件

収録刊行物

FM 2016: Formal Methods

FM 2016: Formal Methods 779-785, 2016

Springer International Publishing

被引用文献 (1)*注記

もっと見る

詳細情報詳細情報について

CRID

1361137045574285824
DOI

10.1007/978-3-319-48989-6_50
ISSN

16113349

03029743
Web Site

http://link.springer.com/content/pdf/10.1007/978-3-319-48989-6_50
データソース種別
- Crossref

書き出し

問題の指摘

ページトップへ