Devil in a box: Installing backdoors in electronic door locks.

Seongyeol Oh Joon-Sung Yang Andrea Bianchi Hyoungshick Kim

Published in: PST (2015)

Keyphrases

satisfiability problem
concurrency control
hidden structure
information systems
np complete
gaussian convolution
real time
databases
computer vision
case study
data structure
sat instances
electronic business