1. Binary decision diagrams;Akers;IEEE Trans. Comput.,1978
2. An Introduction to Binary Decision Diagrams;Andersen,1997
3. Iodine: fast dynamic taint tracking using rollback-free optimistic hybrid analysis;Banerjee,2019
4. Improving the variable ordering of obdds is np-complete;Bollig;IEEE Trans. Comput.,1996
5. Minemu: the world's fastest taint tracker;Bosman,2011