Looking for Lacunae in Bitcoin Core's Fuzzing Efforts | IEEE Conference Publication | IEEE Xplore