About Me

• I am a PostDoc at Columbia University, working with Junfeng Yang.
• Interested in combining program analysis with machine learning towards improving software robustness and security.
• I earned my PhD from the Technion, advised by Eran Yahav.

Publications

QUACK: Hindering Deserialization Attacks via Static Duck Typing
Yaniv David, Neophytos Christou, Andreas D. Kellas, Vasileios P. Kemerlis, Junfeng Yang
NDSS 2024.

[Paper] [Code] [Slides] [Video]

RogueOne: Detecting Rogue Updates via Differential Data-flow Analysis Using Trust Domains
Raphael J. Sofaer, Yaniv David, Mingqing Kang, Jianjia Yu, Yinzhi Cao, Junfeng Yang, Jason Nieh
ICSE 2024.

[Pre-Print] [Code]

UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing
Yaniv David, Xudong Sun, Raphael J. Sofaer, Aditya Senthilnathan, Junfeng Yang, Zhiqiang Zuo, Guoqing Harry Xu, Jason Nieh and Ronghui Gu.
OSDI 2022.

[Paper] [Slides] [Video] [Website] [Github APP]

NeuDep: Neural Binary Memory Dependence Analysis
Kexin Pei, Dongdong She, Michael Wang, Scott Geng, Zhou Xuan, Yaniv David, Junfeng Yang, Suman Jana, Baishakhi Ray
ESEC/FSE 2022.

[Paper]

Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs
Yaniv David, Uri Alon and Eran Yahav.
OOPSLA 2020.

[Paper] [Slides] [Code] [Video]

FirmUp: Precise Static Detection of Common Vulnerabilities in Firmware
Yaniv David, Nimrod Partush and Eran Yahav.
ASPLOS 2018.

[Paper] [Slides]

Similarity of Binaries through re-Optimization
Yaniv David, Nimrod Partush and Eran Yahav.
PLDI 2017.

[Paper] [Slides]

Statistical Similarity of Binaries
Yaniv David, Nimrod Partush and Eran Yahav.
PLDI 2016.

[Paper] [Slides] [Demo] [Dataset]

Tracelet-Based Code Search in Executables
Yaniv David and Eran Yahav.
PLDI 2014.

[Paper] [Slides] [Code]