{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
Conference | Publication | |
---|---|---|
PLAS ‘18 | Binary Similarity Detection Using Machine Learning | Paper |
ASPLOS ‘18 | FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware | Paper |
PLDI ‘17 | Similarity of Binaries through re-Optimization | Paper Presentation |
ATC ‘17 | Engineering Record and Replay for Deployability | Paper |
ISSTA ‘17 | Refining Interprocedural Change-Impact Analysis using Equivalence Relations | Paper |
PLDI ‘16 | Statistical Similarity of Binaries | Paper Presentation |
BlackHat Asia ‘15 | Exploiting Social Navigation | Paper Presentation |
OOPSLA ‘14 | Abstract Semantic Differencing via Speculative Correlation | Paper Presentation |
SAS ‘13 | Abstract Semantic Differencing for Numerical Programs | Paper Presentation |