Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion. Behavior Abstraction in Malware Analysis. Grigore Rosu, Oleg Sokolsky. 1st International Conference on Runtime Verification, Nov 2010, St. Julians, Malta. Springer-Verlag, 6418, pp.168-182, 2010, Lec
HAL Archives-Ouvertes,
Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion. Behavior Abstraction in Malware Analysis.