MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery

Submitted by Anonymous (not verified) on February 8, 2021 - 4:00 pm
Title{MACE}: {Model-inference-Assisted} Concolic Exploration for Protocol and Vulnerability Discovery
Publication TypeConference Paper
Year of Publication2011
AuthorsCho CYuan, Babić D, Poosankam P, Chen KZhijie, Wu EXueJun, Song D
Conference Name20th USENIX Security Symposium (USENIX Security 11)
Date Published08/2011
PublisherUSENIX Association
Conference LocationSan Francisco, CA
URLhttps://www.usenix.org/conference/usenix-security-11/mace-model-inference-assisted-concolic-exploration-protocol-and