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
Original paper
SymQEMU: Compilation-based symbolic execution for binaries
Sebastian Poeplau
6
,
Aurélien Francillon
22
View all 2 authors
Published
: Jan 1, 2021
28
Citations
Sources
Cite
Basic Info
Analytics
References
Citations
Paper Fields
Parallel computing
Computer science
Software
Symbolic trajectory evaluation
Programming language
Symbolic execution
Model checking
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