Chrysa Papagianni | Complex Cyber-Infrastructures (CCI)https://cci-research.nl/author/chrysa-papagianni/Chrysa PapagianniWowchemy (https://wowchemy.com)en-usMon, 07 Dec 2026 00:00:00 +0000https://cci-research.nl/images/logo_hu5a1000236f6e181a977795e6532452c2_304385_300x300_fit_lanczos_3.pngChrysa Papagiannihttps://cci-research.nl/author/chrysa-papagianni/P4Check: Verification and Debugging for Stateful P4 Programshttps://cci-research.nl/publication/pacciani-p4check-2026/Mon, 07 Dec 2026 00:00:00 +0000https://cci-research.nl/publication/pacciani-p4check-2026/P4DDG: Data-Dependent Grammars for Packet Specification and Parsing in P4https://cci-research.nl/publication/pacciani-p4ddg-2025/Fri, 27 Jun 2025 00:00:00 +0000https://cci-research.nl/publication/pacciani-p4ddg-2025/