Optimal Synchronizing Sequences for Machines with Timing Constraints. - Ariel Stulman; Simon Bloch; H. G. Mendelbaum (ESA, 2005)

Remote Agent for Conformance Testing of Timed-Automata. - Ariel Stulman; Simon Bloch; H. G. Mendelbaum (Parallel and Distributed Computing and Networks, 2005)

Searching for Optimal Homing Sequences for Testing Timed Communication Protocols. - Ariel Stulman (J. Networks, 2009)

RESETting Timed Machines. - Ariel Stulman (J. Comput. Inf. Technol., 2011)

Generating Optimal Distinguishing Sequences for Testing Timed Protocols. - Ariel Stulman (J. Autom. Lang. Comb., 2011)

MANET secure key exchange using spraying diffie-hellman algorithm. - Ariel Stulman; Jonathan Lahav; Avraham Shmueli (ICITST, 2012)

Virtual Mobile Ad-hoc Networks. - Jonathan Lahav; Ariel Stulman (MASS, 2013)

Spraying Diffie-Hellman for Secure Key Exchange in MANETs (Transcript of Discussion). - Ariel Stulman (Security Protocols Workshop, 2013)

Spraying Diffie-Hellman for Secure Key Exchange in MANETs. - Ariel Stulman; Jonathan Lahav; Avraham Shmueli (Security Protocols Workshop, 2013)

Spraying Techniques for Securing Key Exchange in Large Ad-hoc Networks. - Ariel Stulman; Alan Stulman (Q2SWinet@MSWiM, 2015)

Neighbor Contamination to Achieve Complete Bottleneck Control. - Nadav Schweitzer; Ariel Stulman; Asaf Shabtai (MSWiM, 2016)

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)

Hardening Opportunistic HIP. - Adel Fuchs; Ariel Stulman; Andrei V. Gurtov (MSWiM, 2017)

Authorization Enforcement Detection. - Ehood Porat; Shmuel Tikochinski; Ariel Stulman (SACMAT, 2017)

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

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

Effectiveness of DCFM on different mobility models. - Nadav Schweitzer; Ariel Stulman (WINCOM, 2020)

IoT and HIP's Opportunistic Mode. - Adel Fuchs; Ariel Stulman; Andrei V. Gurtov (IEEE Trans. Mob. Comput., 2021)

Word embedding dimensionality reduction using dynamic variance thresholding (DyVaT). - Avraham Treistman; Dror Mughaz; Ariel Stulman; Amit Dvir (Expert Syst. Appl., 2022)

Persuasive: A node isolation attack variant for OLSR-based MANETs and its mitigation. - Nadav Schweitzer; Liad Cohen; Amit Dvir; Ariel Stulman (Ad Hoc Networks, 2023)

Network wormhole attacks without a traditional wormhole. - Nadav Schweitzer; Amit Dvir; Ariel Stulman (Ad Hoc Networks, 2023)

Identifying a Malicious Node in a UAV Network. - Aviram Zilberman; Ariel Stulman; Amit Dvir (IEEE Trans. Netw. Serv. Manag., 2024)

SPRINKLER: A Multi-RPL Man-in-the-Middle Identification Scheme in IoT Networks. - Aviram Zilberman; Amit Dvir; Ariel Stulman (IEEE Trans. Mob. Comput., 2024)

Achieving manet protection without the use of superfluous fictitious nodes. - Nadav Schweitzer; Liad Cohen; Tirza Hirst; Amit Dvir; Ariel Stulman (Comput. Commun., 2025)

Proposal for Improving Google A2A Protocol: Safeguarding Sensitive Data in Multi-Agent Systems. - Yedidel Louck; Ariel Stulman; Amit Dvir (CoRR, 2025)

IPv6 Routing Protocol for Low-Power and Lossy Networks Security Vulnerabilities and Mitigation Techniques: A Survey. - Aviram Zilberman; Amit Dvir; Ariel Stulman (ACM Comput. Surv., 2025)