2 papers
cs.CR2016
Targeting Infeasibility Questions on Obfuscated Codes
Robin David, Sébastien Bardin, Jean-Yves Marion
Software deobfuscation is a crucial activity in security analysis and especially, in malware analysis. While standard static and dynamic approaches suffer from well-known shortcomi…
cs.SE2016
Generic and Effective Specification of Structural Test Objectives
Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov +2
While a wide range of different, sometimes heterogeneous test coverage criteria have been proposed, there exists no generic formalism to describe them, and available test automatio…