B. R. Silva, F. M. Q. Pereira, and D. F. Aranha. Sparse Representation of Implicit Flows with Applications to Side-Channel Detection. 25th International Conference on Compiler Construction (CC 2016), pages 110-120, 2016.