Adi Sosnovich

Formal Black-Box Analysis of Routing Protocol Implementations pdf

Gabi Nakibly, Orna Grumberg, Adi Sosnovich, 2017, ArXiv.

Analyzing Internet Routing Security Using Model Checking

Gabi Nakibly, Orna Grumberg, Adi Sosnovich, 2015, LPAR.

A Model-Driven Framework for Automated Generation and Verification of Cloud Solutions from Requirements

Peifeng Yin, Hamid R. Motahari Nezhad, Taiga Nakamura, 2018, ICSOC.

Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems

Gabi Nakibly, Orna Grumberg, Adi Sosnovich, 2013, CAV.

OSPF vulnerability to persistent poisoning attacks: a systematic analysis

Gabi Nakibly, Yuval Elovici, Eitan Menahem, 2014, ACSAC '14.