ProXray: Protocol Model Learning and Guided Firmware Analysis.
Farhaan FowzeDave TianGrant HernandezKevin R. B. ButlerTuba YavuzPublished in: IEEE Trans. Software Eng. (2021)
Keyphrases
- computational model
- formal model
- colored petri nets
- learning scheme
- learning models
- reinforcement learning
- learning mechanism
- prior knowledge
- decision theoretic
- mathematical model
- experimental data
- theoretical framework
- connectionist networks
- learned models
- learning algorithm
- probabilistic model
- learning process
- objective function
- similarity measure
- high level
- power consumption
- theoretical analysis
- active learning