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

November ’21

September ’21

July ’21

July ’21

May ’21

Feb ’21

Jan ’21

Dec ’20

Oct ’20

Mar ’20