Anoud Alshnakat

According to our database, Anoud Alshnakat authored at least 4 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Securing P4 Programs by Information Flow Control.

Anoud Alshnakat, Amir M. Ahmadian, Musard Balliu, Roberto Guanciale, Mads Dam

Proceedings of the 38th IEEE Computer Security Foundations Symposium, 2025

2024

HOL4P4: Mechanized Small-Step Semantics for P4.

Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, Mads Dam

Proc. ACM Program. Lang., 2024

2022

HOL4P4: semantics for a verified data plane.

Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, Mads Dam, Karl Palmskog

Proceedings of the 5th International Workshop on P4 in Europe, 2022

2020

Constraint-Based Contract Inference for Deductive Verification.

Anoud Alshnakat, Dilian Gurov, Christian Lidström, Philipp Rümmer

Proceedings of the Deductive Software Verification: Future Perspectives, 2020