kBF: A Bloom Filter for key-value storage with an application on approximate state machines | IEEE Conference Publication | IEEE Xplore