representing code path as graph walks.. a provable graph walk?
This paper matches some of your criteria:


Nenad Dedic, Mariusz H. Jakubowski, Ramarathnam Venkatesan: A Graph Game Model for Software Tamper Protection. Information Hiding 2007: 80-95


It uses random walks on the flow graph of a program to make the program more tamper resistant.