Method of security against computer attacks based on an analysis of executable machine code
Vladislav Y. Aranov, Vladimir S. Zaborovsky · Automatic Control and Computer Sciences · 2015
The paper presents method of securing executable software code based on executing computations in an environment of virtual machines with pseudo-random architecture, the interpreter of which is protected by obfuscation transformations using Petri nets with initial states defined based on solutions of Diophantus equations.