Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from EDBT 2026 / reviewers in the wild / expert

Teodor Stoenescu

dblp:189/1094 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
0since 2021 · last 2017
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Program analysis · 100%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program analysis
binary analysis		 0.212016
RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions · FM 2016
Program analysis
symbolic execution		 0.212016
RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions · FM 2016

Methods — techniques the papers use, named apart from their topics

symbolic execution · 0.2
YearPublicationVenuePosition
2017 Binary Analysis based on Symbolic Execution and Reversible x86 Instructions
abstract
We present a binary analysis framework based on symbolic execution with the distinguishing capability to execute stepwise forward and also backward through the execution tree. It was developed internally at Bitdefender and code-named RIVER. The framework provides components such as a taint engine, a dynamic symbolic execution engine, and integration with Z3 for constraint solving. In this paper we will provide details on the framework and give an example of analysis on binary code.
Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate
 Fundam. Informaticae1
2016 RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions
Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate
 FM1