Conference Papers
Year : 2020
Sebastian Poeplau : Connect in order to contact the contributor
https://inria.hal.science/hal-02874078
Submitted on : Thursday, June 18, 2020-5:40:08 PM
Last modification on : Tuesday, December 8, 2020-10:05:32 AM
Dates and versions
Identifiers
- HAL Id : hal-02874078 , version 1
Cite
Sebastian Poeplau, Aurélien Francillon. Symbolic execution with SymCC: Don't interpret, compile!. USENIX Security Symposium 2020, Aug 2020, Boston, United States. ⟨hal-02874078⟩
68
View
3
Download