publication venue for Homing Sequence Derivation With Quantified Boolean Satisfiability. 71:696-711. 2021 Cryptographically Secure Shield for Security IPs Protection. 1-1. 2016 NextCell: Predicting Location Using Social Interplay from Cell Phone Traces. 64:452-463. 2014