Sign in
Improving Bounded Model Checkers Scalability for Circuit De-Obfuscation: An Exploration.
Kimia Zamiri Azar
Hadi Mardani Kamali
Farimah Farahmandi
Mark M. Tehranipoor
Published in:
IEEE Trans. Inf. Forensics Secur. (2024)
Keyphrases
</>
mathematical model
data sets
decision making
statistical model
database
management system
high speed
maximum likelihood
experimental data
prediction model