Next-generation traffic analysis effecting arbitrary channel discovery via probabilistic automata - View it on GitHub