Login / Signup
Sorina Predut
ORCID
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 2
Top Topics
Symbolic Execution
Static Analysis
General Purpose
Top Venues
Fundam. Informaticae
FM
</>
Publications
</>
Teodor Stoenescu
,
Alin Stefanescu
,
Sorina Predut
,
Florentin Ipate
Binary Analysis based on Symbolic Execution and Reversible x86 Instructions.
Fundam. Informaticae
153 (1-2) (2017)
Teodor Stoenescu
,
Alin Stefanescu
,
Sorina Predut
,
Florentin Ipate
RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions.
FM
(2016)