Implicit flows in malicious and nonmalicious code
Russo Alejandro, Sabelfeld Andrei, LI Ke-qin · NATO science for peace and security series. D, Information and communication security · 2010
Information-flow technology is a promising approach for ensuring security by design and construction. When tracking information flow, of particular concern are implicit flows, i.e., flows through control flow when computation branches on secret data and performs publicly observed side effects depending on which branch is taken.