Mitigating Denial of Service Attacks in OLSR Protocol Using Fictitious Nodes. - Nadav Schweitzer; Ariel Stulman; Asaf Shabtai; Roy David Margalit (IEEE Trans. Mob. Comput., 2016)

Contradiction Based Gray-Hole Attack Minimization for Ad-Hoc Networks. - Nadav Schweitzer; Ariel Stulman; Roy David Margalit; Asaf Shabtai (IEEE Trans. Mob. Comput., 2017)

Robustness against release/acquire semantics. - Ori Lahav 001; Roy David Margalit (PLDI, 2019)

Network bottlenecks in OLSR based ad-hoc networks. - Nadav Schweitzer; Ariel Stulman; Tirza Hirst; Roy David Margalit; Asaf Shabtai (Ad Hoc Networks, 2019)

Verifying observational robustness against a c11-style memory model. - Roy David Margalit; Ori Lahav 001 (Proc. ACM Program. Lang., 2021)

Putting Weak Memory in Order via a Promising Intermediate Representation. - Sung-Hwan Lee 001; Minki Cho; Roy David Margalit; Chung-Kil Hur; Ori Lahav 001 (Proc. ACM Program. Lang., 2023)

Robustness against the C/C++11 Memory Model. - Roy David Margalit (ISSTA, 2024)

Dynamic Robustness Verification against Weak Memory. - Roy David Margalit; Michalis Kokologiannakis; Shachar Itzhaky; Ori Lahav 001 (Proc. ACM Program. Lang., 2025)

Dynamic Robustness Verification Against Weak Memory (Extended Version). - Roy David Margalit; Michalis Kokologiannakis; Shachar Itzhaky; Ori Lahav 001 (CoRR, 2025)