Mila Dalla Preda, Isabella Mastroeni. Infections as Abstract Symbolic Finite Automata: Formal Model and Applications. In 1st IEEE/ACM International Workshop on Software Protection, SPRO 2015, Florence, Italy, May 19, 2015. pages 59-65, IEEE, 2015. [doi]
Abstract is missing.