Abstraction-Based Malware Analysis Using Rewriting and Model Checking.

Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion

Browse the full ESORICS paper archive.