Demo: A Symbolic Execution Framework for Network Analysis and Verification
Key: FASAMS-2026
Author: Philip Jonas Franz, Konrad Altenhofen, Jonas Schoenen, Osama Abboud, Tobias Meuser, Björn Scheuermann
Date: October 2026
Kind: In proceedings
Publisher: IEEE
Book title: Proceedings of the 51st IEEE 2026 Conference on Local Computer Networks (LCN)
Keywords: Symbolic Execution, Network Analysis, Security, Resilience
Abstract: Modern computer networks are becoming increas- ingly complex, complicating their management and verification. Existing tools for infrastructure management do not support network semantics-based reachability analysis, which would en- able resilience and security analysis. To enable such analysis of network graphs, we propose a versatile symbolic execution framework that implements a stateful graph search. While being domain-agnostic, we demonstrate the usefulness of our approach specifically for computer network path discovery and firewall rule verification.
View Full paper (PDF) | Download Full paper (PDF)

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, not withstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.