Nimrod Partush
{Researcher, Engineer} with interests in Program Analysis, Cyber Security & Data Science.
HOME
ABOUT
CATEGORIES
TAGS
ARCHIVES
Home
Tags
abstract-interpretation
Tag
Cancel
abstract-interpretation
3
Refining Interprocedural Change-Impact Analysis using Equivalence Relations
Jul 10, 2017
Abstract Semantic Differencing via Speculative Correlation
Oct 20, 2014
Abstract Semantic Differencing for Numerical Programs
Jul 19, 2013
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
