ASPIRE: Iterative specification synthesis for security

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

Research output: Contribution to conferencePaperpeer-review

3 Scopus citations

Fingerprint

Dive into the research topics of 'ASPIRE: Iterative specification synthesis for security'. Together they form a unique fingerprint.

Engineering & Materials Science