Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems. - Adi Sosnovich; Orna Grumberg; Gabi Nakibly (CAV, 2013)

OSPF vulnerability to persistent poisoning attacks: a systematic analysis. - Gabi Nakibly; Adi Sosnovich; Eitan Menahem; Ariel Waizel; Yuval Elovici (ACSAC, 2014)

Analyzing Internet Routing Security Using Model Checking. - Adi Sosnovich; Orna Grumberg; Gabi Nakibly (LPAR, 2015)

Formal Black-Box Analysis of Routing Protocol Implementations. - Adi Sosnovich; Orna Grumberg; Gabi Nakibly (CoRR, 2017)

Finding Security Vulnerabilities in Network Protocols Using Methods of Formal Verification. - Adi Sosnovich (2017)

A Model-Driven Framework for Automated Generation and Verification of Cloud Solutions from Requirements. - Hamid R. Motahari Nezhad; Taiga Nakamura; Adi Sosnovich; Peifeng Yin; Karen Yorav (ICSOC, 2018)