publication venue for Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution. 14:15-28. 2011 Compromising Anonymous Communication Systems Using Blind Source Separation. 13:8-31. 2009