ProXray: Protocol Model Learning and Guided Firmware Analysis | IEEE Journals & Magazine | IEEE Xplore