1. Andersen, L.O.: Program analysis and specialization for the C programming language. Ph.D. thesis (1994)
2. Andriesse, D., Chen, X., van der Veen, V., Slowinska, A., Bos, H.: An in-depth analysis of disassembly on full-scale x86/x64 binaries. In: USENIX Security Symposium (2016)
3. Bruening, D., Zhao, Q.: Practical memory checking with Dr. Memory. In: Proceedings of the 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization (2011)
4. Budd, C.: Pwn2Own: Day 2 and Event Wrap-Up, March 2016.
http://blog.trendmicro.com/pwn2own-day-2-event-wrap/
5. Ceri, S., Gottlob, G., Tanca, L.: What you always wanted to know about datalog (and never dared to ask). IEEE Trans. Knowl. Data Eng. 1(1), 146–166 (1989)