2 papers
cs.SE2025
Dissect-and-Restore: AI-based Code Verification with Transient Refactoring
Changjie Wang, Mariano Scazzariello, Anoud Alshnakat +3
Formal verification is increasingly recognized as a critical foundation for building reliable software systems. However, the need for specialized expertise to write precise specifi…
cs.CR2025
Securing P4 Programs by Information Flow Control
Anoud Alshnakat, Amir M. Ahmadian, Musard Balliu +2
Software-Defined Networking (SDN) has transformed network architectures by decoupling the control and data-planes, enabling fine-grained control over packet processing and forwardi…