Proceedings 2019 Workshop on Binary Analysis Research
Latest Publications

TOTAL DOCUMENTS

10
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Internet Society

1891562584
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals B2R2: Building an Efficient Front-End for Binary Analysis

2019 ◽  
Author(s):  
Minkyu Jung ◽  
Soomin Kim ◽  
HyungSeok Han ◽  
Jaeseung Choi ◽  
Sang Kil Cha
Keyword(s):  
Binary Analysis ◽  
Front End

scholarly journals Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools

2019 ◽  
Author(s):  
Aravind Machiry ◽  
Nilo Redini ◽  
Eric Gustafson ◽  
Hojjat Aghakhani ◽  
Christopher Kruegel ◽  
...  
Keyword(s):  
Static Analysis ◽  
Analysis Tools ◽  
Complete Dataset

scholarly journals Performance, Correctness, Exceptions: Pick Three

2019 ◽  
Author(s):  
Andrea Gussoni ◽  
Alessandro Di Federico ◽  
Pietro Fezzardi ◽  
Giovanni Agosta

scholarly journals Enhancing Symbolic Execution by Machine Learning Based Solver Selection

2019 ◽  
Author(s):  
Sheng-Han Wen ◽  
Wei-Loon Mow ◽  
Wei-Ning Chen ◽  
Chien-Yuan Wang ◽  
Hsu-Chun Hsiao
Keyword(s):  
Machine Learning ◽  
Symbolic Execution

scholarly journals Binary Mutation Analysis of Tests Using Reassembleable Disassembly

2019 ◽  
Author(s):  
Navid Emamdoost ◽  
Vaibhav Sharma ◽  
Tae Byun ◽  
Stephen McCamant
Keyword(s):  
Mutation Analysis

scholarly journals Symbolic Path Tracing to Find Android Permission-Use Triggers

2019 ◽  
Author(s):  
Kristopher Micinski ◽  
Thomas Gilray ◽  
Daniel Votipka ◽  
Michelle L. Mazurek ◽  
Jeffrey S. Foster
Keyword(s):  
Path Tracing ◽  
Android Permission
Load More ...
Sign in / Sign up

Export Citation Format

Share Document