Adi Sosnovich

According to our database, Adi Sosnovich authored at least 6 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

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

Proceedings of the Service-Oriented Computing - 16th International Conference, 2018

2017

Finding Security Vulnerabilities in Network Protocols Using Methods of Formal Verification.

Adi Sosnovich

PhD thesis, 2017

Formal Black-Box Analysis of Routing Protocol Implementations.

Adi Sosnovich, Orna Grumberg, Gabi Nakibly

CoRR, 2017

2015

Analyzing Internet Routing Security Using Model Checking.

Adi Sosnovich, Orna Grumberg, Gabi Nakibly

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2014

OSPF vulnerability to persistent poisoning attacks: a systematic analysis.

Gabi Nakibly, Adi Sosnovich, Eitan Menahem, Ariel Waizel, Yuval Elovici

Proceedings of the 30th Annual Computer Security Applications Conference, 2014

2013

Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems.

Adi Sosnovich, Orna Grumberg, Gabi Nakibly

Proceedings of the Computer Aided Verification - 25th International Conference, 2013