A Satisfiability-Modulo-Theory (SMT) based estimator for secure estimation under adversarial sensor attacks.