In order to achieve meaningful results, we strived towards a high level of semantics using Control Flow Graphs. After applying some graph rewriting rules to normalise them, we tackled the subgraph search problem in a both efficient and convenient way for that perticular kind of graphs.

Considered from algorithm's complexity and on computational models, malicious software are interesting in that they push cybersecurity tools to their limits by placing them in worst-case scenario. For these steps to succeed, some pitfalls needed to be considered...

Learn more