Home About
About
Cancel

About


{Researcher, Engineer} with interests in Program Analysis, Cyber Security & Data Science.

Ph.D. In Computer Science from the Technion, Israel.

Professional Experience


1
2
3
4
5
6
7
8
9
10
11
12
13
14
def professional_experience(year):
  if 2019 <= year:
    return ["Independent Researcher, Self Employed"]
  if 2017 <= year <= 2018:
    return ["Head of Reasearch, CYE/Prosecs"]
  if year == 2014:
    return ["Research Intern, Microsoft Research, Redmond, WA, USA"]
  if year == 2012:
    return ["Research Intern, Intel, Israel",
            "Research Intern, Mozilla, Auckland, New Zealand"]
  if 2006 <= year <= 2011:
    return ["Communication Officer, IDF"]
  if 2007 <= year <= 2009:
    return ["Software Engineer, Intel, Israel"]

Academic Experience


1
2
3
4
5
6
7
8
\begin{document}
\section{[2011 -- 2016] Ph.D. Computer Science -- Technion, Israel}
Research Thesis: \emph{Differential Program Analysis}
Advisor: Prof. Eran Yahav
Started on the M.Sc. program, moved to the prestigious direct PhD course.
\section{[2002 -- 2006] B.Sc. Computer Science -- Technion, Israel}
Graduated \emph{Summa Cum Laude}
\end{document}

Awards and Scholarships


  • [2014–2016] Israel Department of Science Cyber Scholarship
  • [2013,15] Faculty Purim Party - Best Costume
  • [2012] IBM PhD Fellowship Award
  • [2011] School of computer science, Technion IIT - Excellent Teaching Assistant
  • [2011] Check Point Institute for Information Security Award
  • [2011] Faculty Excellence Scholarship
  • [2008] Award for outstanding contribution to communication systems security - Israeli Communication Corps
  • [2003 – 2006] School of computer science, Technion IIT - Outstanding undergraduate student

Peer-Reviewed Publications


ConferencePublication 
PLAS ‘18Binary Similarity Detection Using Machine LearningPaper
ASPLOS ‘18FirmUp: Precise Static Detection of Common Vulnerabilities in FirmwarePaper
PLDI ‘17Similarity of Binaries through re-OptimizationPaper
Presentation
ATC ‘17Engineering Record and Replay for DeployabilityPaper
ISSTA ‘17Refining Interprocedural Change-Impact Analysis using Equivalence RelationsPaper
PLDI ‘16Statistical Similarity of BinariesPaper
Presentation
BlackHat Asia ‘15Exploiting Social NavigationPaper
Presentation
OOPSLA ‘14Abstract Semantic Differencing via Speculative CorrelationPaper
Presentation
SAS ‘13Abstract Semantic Differencing for Numerical ProgramsPaper
Presentation