A system for synthesizing abstraction-enabled simulators for binary code verification.

Dominique Gückel Jörg Brauer Stefan Kowalewski

Published in: SIES (2010)

Keyphrases

binary codes
hamming distance
gray code
similarity search
model checking
hash functions
face verification
high level
multiscale
neural network
face recognition
image representation