ASPIRE: Iterative Specification Synthesis for Security

Title{ASPIRE}: Iterative Specification Synthesis for Security
Publication TypeConference Paper
Year of Publication2015
AuthorsChen K, He W, Akhawe D, D'Silva V, Mittal P, Song D
Conference Name15th Workshop on Hot Topics in Operating Systems (HotOS XV)
Date Published05/2015
PublisherUSENIX Association
Conference LocationKartause Ittingen, Switzerland
URLhttps://www.usenix.org/conference/hotos15/workshop-program/presentation/chen_kevin