Login / Signup
MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery.
Chia Yuan Cho
Domagoj Babic
Pongsin Poosankam
Kevin Zhijie Chen
Edward XueJun Wu
Dawn Song
Published in:
USENIX Security Symposium (2011)
Keyphrases
</>
computational model
mathematical model
probabilistic model
theoretical analysis
bayesian model
bayesian inference
objective function
prior knowledge
experimental data
management system
maximum likelihood
genetic algorithm
conceptual model
smart card
similarity measure
risk assessment
decision trees