“…Graph-based watermarking: the dynamic graph-based watermarking encodes the watermark in a suitable data-structure which is allocated in memory [12,42]. In this case, programs states are as above, including the sequence of input values i ∈ V * which still have to be consumed: c, R, H, i , η = {I, Σ * } where i ∈ V * is a given input sequence, Ñ = {E(s), Σ * } where E(s) is the encoding of s as a graph G s ∈ G. α observes the graphs encoded in memory, by looking at graphs in reverse allocation order.…”