ASPIRE: Iterative Specification Synthesis for Security.

Kevin Zhijie Chen, Warren He, Devdatta Akhawe, Vijay D'Silva, Prateek Mittal, Dawn Song

Browse the full HotOS paper archive.