Satisfiability Modulo Theory (SMT) Engine for secure estimation from sensors under adversarial attack.