C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automated Generation of Security Assertions for RTL Models.
Hasini Witharana
Aruna Jayasena
Andrew Whigham
Prabhat Mishra
Published in:
ACM J. Emerg. Technol. Comput. Syst. (2023)
Keyphrases
</>
statistical models
probabilistic model
information security
databases
feature selection
knowledge base
case study
database systems
model selection
statistical model
experimental data
fully automated
security problems