Give me your binary, I'll tell you if it leaks | IEEE Conference Publication | IEEE Xplore