ASPIRE: Iterative Specification Synthesis for Security presented at HOTos 2015

by Prateek Mittal, Dawn Song, Devdatta Akhawe, Warren He, Kevin Zijie Chen, Vijay D'silva,

Summary : N/A