Nimrod Partush
{Researcher, Engineer} with interests in Program Analysis, Cyber Security & Data Science.
HOME
ABOUT
CATEGORIES
TAGS
ARCHIVES
Home
Tags
smt-solvers
Tag
Cancel
smt-solvers
1
Refining Interprocedural Change-Impact Analysis using Equivalence Relations
Jul 10, 2017
Recent Update
The Obfvious Compiler
Hitchhiker's Guide (To Australia And New Zealand)
Abstract Semantic Differencing for Numerical Programs
Statistical Similarity of Binaries
Exploiting Social Navigation
Trending Tags
static analysis
binary code
c
similarity
abstract interpretation
differential
security
statistical
reverse engineering
android
Trending Tags
static analysis
binary code
c
similarity
abstract interpretation
differential
security
statistical
reverse engineering
android
