ASPIRE: Iterative Specification Synthesis for Security

No ratings

Presented at HOTos 2015 by

Prateek Mittal

Dawn Song

Devdatta Akhawe

Warren He

Kevin Chen

Vijay D'silva

N/A