Verification of a P4 Switch

We try to answer the following question: “Is it possible to detect abnormal behavior in a P4 switch and take corrective measures?”

Learn More

Verification of P4 Networks

We try to answer the following question: “Is it possible to detect control-data plane inconsistency in P4 networks?”

Learn More

Verification of SDNs

We try to answer the following question: “Is it possible to detect and localize control-data plane inconsistency in SDNs?”

Learn More

Research Interests

I am interested in topics surrounding monitoring and verification in Software-defined networks (SDNs) and Programming Protocol-independent Packet Processors (P4) networks. I am involved in building systems which ensure rigorous monitoring and verification of SDNs and P4 networks.

I was involved in FP7 Integrated European Union Project UNIFY where I contributed to troubleshooting, monitoring and verification of Service Chains in Carrier-Grade Networks. Currently, I am a project leader of project “Verify: Towards Rigorous Verification and Monitoring of Software-defined Networks (SDNs)”. Project Verify is funded by BMBF grant under Software Campus executives development program.

News

Oct ’20

Mar ’20