FrankenBit: Bit-Precise Verification with Many Bits - (Competition Contribution).

Arie Gurfinkel Anton Belov

Published in: TACAS (2014)

Keyphrases

error correcting codes
bit string
s box
gray code
significant bit
model checking
error correction
block cipher
formal verification
international competition
verification method
database
information systems
neural network
formal methods
face verification
hamming distance
supply chain