20 citations · 52 across the 15 of their papers we have counts for
3 papers · 1 filter
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…
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…
Trustworthy Verification of RISC-V Binaries Using Symbolic Execution in HolBA
Karl Palmskog, Andreas Lindner, Scott Constable +2
Many types of formal verification establish properties about abstract high-level program representations, leaving a large gap to programs at runtime. Although gaps can sometimes be…