Systems, Methods, and Storage Media for Obfuscating a Computer Program by Representing the Control Flow of the Computer Program as Data

2. The system of claim 1, wherein the control flow data is stored as one or more matrices.

3. The system of claim 2, wherein the one or more matrices comprise at least one matrix indicating inputs to and outputs of transition elements, event elements and condition elements to thereby represent the structure of the control flow model.

4. The system of claim 2, wherein the one or more matrices comprise a matrix indicating the association of tokens with the condition elements and the execution elements at one or more times during execution of the computer program.

5. The system of claim 2, wherein the mathematical modeling language is a modified Petri Net.

7. The system of claim 6, wherein performing a simulation of the control flow model based on the matrices comprises determining the association of tokens with condition elements and execution elements at each of the one or more times based on the matrices.

9. The method of claim 8, wherein the control flow data is stored as one or more matrices.

10. The method of claim 9, wherein the one or more matrices comprise a matrix indicating inputs to transition elements, event elements and condition elements to thereby represent the structure of the control flow model.

11. The method of claim 9, wherein the one or more matrices comprise a matrix indicating the association of tokens with the condition elements and the execution elements at one or more times during execution of the computer program.

12. The method of claim 9, wherein the mathematical modeling language is a modified Petri Net.

14. The method of claim 13, wherein performing a simulation of the control flow model based on the matrices comprises determining the association of tokens with condition elements and execution elements at each of the one or more times based on the matrices.

16. The computer-readable storage medium of claim 15, wherein the control flow data is stored as one or more matrices.

17. The computer-readable storage medium of claim 16, wherein the one or more matrices comprise a matrix indicating inputs to transition elements, event elements and condition elements to thereby represent the structure of the control flow model.

18. The computer-readable storage medium of claim 16, wherein the one or more matrices comprise a matrix indicating the association of tokens with the condition elements and the execution elements at one or more times during execution of the computer program.

19. The computer-readable storage medium of claim 16, wherein the mathematical modeling language is a modified Petri Net.