Jort van Leenen's profile picture

Jort van Leenen

MSc Computer Science student @ Leiden University, The Netherlands

Research

My research interest lies primarily in the field of theoretical computer science, with a particular focus on the applicability of formal methods to real-world problems.

Bachelor Thesis (Practical Equivalence Checking of P4 Packet Parsers)

Abstract In computer networks, packets function as structured containers for transmitting information. Packet parsers validate these packets in devices like packet switches and firewalls. P4 is a domain-specific programming language that can specify such parsers in software-defined networks. As with any software system, bugs may be present, or improvements are to be made. These subsequent modifications may introduce discrepancies relative to the intended specification. To address this, I introduced Octopus, a tool for the practical equivalence checking of packet parsers written in P4. Here, practical signifies a runtime suitable for execution on a typical, modern personal computer. The tool additionally produces a certificate that enables manual verification of the result’s correctness.

An open-access copy of my thesis is available in the LIACS theses repository.

Publications

I do not yet have any publications to list here, but I hope to change that in the near future.