Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Bailluet, Nicolas"'
Autor:
Stone, Chris McMahon, Thomas, Sam L., Vanhoef, Mathy, Henderson, James, Bailluet, Nicolas, Chothia, Tom
In this paper, we propose a new approach to infer state machine models from protocol implementations. Our method, STATEINSPECTOR, learns protocol states by using novel program analyses to combine observations of run-time memory and I/O. It requires n
Externí odkaz:
http://arxiv.org/abs/2106.02623
Autor:
Stone, Chris McMahon, Thomas, Sam L., Vanhoef, Mathy, Henderson, James, Bailluet, Nicolas, Chothia, Tom
Publikováno v:
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security.
In this paper, we propose a new approach to infer state machine models from protocol implementations. Our method, STATEINSPECTOR, learns protocol states by using novel program analyses to combine observations of run-time memory and I/O. It requires n