Biblio

Export 1 results:
Filters: Author is Sebastian Poeplau  [Clear All Filters]
2020
Poeplau S, Francillon A.  2020.  Symbolic execution with SymCC: Don't interpret, compile!. 29th USENIX Security Symposium (USENIX Security 20). :181--198.