TY - RPRT TI - Mining Malware Specifications through Static Reachability Analysis AU - Hugo Daniel Macedo AU - Tayssir Touili PY - 2013 UR - https://arxiv.org/abs/1312.4814 ID - 1312.4814 ER -