Didrik Lundberg

Doctoral student in the area of system security and formal methods, with an emphasis on the latter. Ask me about HOL4.

Selected publications:

Hoare-Style Logic for Unstructured Programs

HOL4P4: semantics for a verified data plane (workshop paper)

Proof-Producing Symbolic Execution for P4