Biblio

Export 1 results:
Filters: Author is Vijay D'Silva  [Clear All Filters]
2015
Chen K, He W, Akhawe D, D'Silva V, Mittal P, Song D.  2015.  ASPIRE: Iterative Specification Synthesis for Security. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).