Search everything
Home
Research Intelligence
Expert Finder
Scinapse Trends
Paper Search
Journal Search
Collections
Favorites
History
Submit Feedback
doi.org/10.14722/ndss.2021.24118
SymQEMU: Compilation-based symbolic execution for binaries
Sebastian Poeplau
6
,
Aurélien Francillon
24
View all 2 authors
Published
: Jan 1, 2021
36
Citations
Sources
Cite
Basic Info
Analytics
References
Citations
Paper Fields
Model checking
Parallel computing
Programming language
Symbolic trajectory evaluation
Symbolic execution
Software
Computer science
Paper Details
Title
SymQEMU: Compilation-based symbolic execution for binaries
DOI
doi.org/10.14722/ndss.2021.24118
Published Date
Jan 1, 2021
Notes
History
View all history