Adi Sosnovich

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 2

Top Topics

Routing Protocol

Pspace Complete

Alternating Time Temporal Logic

Top Venues

Publications

Hamid R. Motahari Nezhad, Taiga Nakamura, Adi Sosnovich, Peifeng Yin, Karen Yorav
A Model-Driven Framework for Automated Generation and Verification of Cloud Solutions from Requirements. ICSOC (2018)
Adi Sosnovich, Orna Grumberg, Gabi Nakibly
Formal Black-Box Analysis of Routing Protocol Implementations. CoRR (2017)
Adi Sosnovich, Orna Grumberg, Gabi Nakibly
Analyzing Internet Routing Security Using Model Checking. LPAR (2015)
Gabi Nakibly, Adi Sosnovich, Eitan Menahem, Ariel Waizel, Yuval Elovici
OSPF vulnerability to persistent poisoning attacks: a systematic analysis. ACSAC (2014)
Adi Sosnovich, Orna Grumberg, Gabi Nakibly
Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems. CAV (2013)