Constraint-Based Contract Inference for Deductive Verification. - Anoud Alshnakat; Dilian Gurov; Christian Lidström; Philipp Rümmer (20 Years of KeY, 2020)

HOL4P4: semantics for a verified data plane. - Anoud Alshnakat; Didrik Lundberg; Roberto Guanciale; Mads Dam; Karl Palmskog (EuroP4@CoNEXT, 2022)

HOL4P4: Mechanized Small-Step Semantics for P4. - Anoud Alshnakat; Didrik Lundberg; Roberto Guanciale; Mads Dam (Proc. ACM Program. Lang., 2024)

Securing P4 Programs by Information Flow Control. - Anoud Alshnakat; Amir M. Ahmadian; Musard Balliu; Roberto Guanciale; Mads Dam (CSF, 2025)