Kirill Levchenko

Latest

• Dynamic Property Enforcement in Programmable Data Planes
• Dynamic Property Enforcement in Programmable Data Planes
• Uncovering Bugs in P4 Programs with Assertion-based Verification
• Sandboxing Data Plane Programs for Fun and Profit