Tracelet-based code search in executables. - Yaniv David; Eran Yahav (PLDI, 2014)

Statistical similarity of binaries. - Yaniv David; Nimrod Partush; Eran Yahav (PLDI, 2016)

Similarity of binaries through re-optimization. - Yaniv David; Nimrod Partush; Eran Yahav (PLDI, 2017)

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

Neural Reverse Engineering of Stripped Binaries. - Yaniv David; Uri Alon 002; Eran Yahav (CoRR, 2019)

Neural reverse engineering of stripped binaries using augmented control flow graphs. - Yaniv David; Uri Alon 002; Eran Yahav (Proc. ACM Program. Lang., 2020)

Similarity in Binary Executables. - Yaniv David (2020)

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

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/SIGSOFT FSE, 2022)

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)

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