Notice détaillée
Titre
Zaostrovnykh, Arseniy
Sciper ID
244739
Publications
A Formally Verified NAT
A Formally Verified NAT Stack
Automated Synthesis of Adversarial Workloads for Network Functions
Performance Contracts for Software Network Functions
A Formally Verified NAT Stack
Automated Synthesis of Adversarial Workloads for Network Functions
Performance Contracts for Software Network Functions
Toutes les ressources
Toutes les ressources
Le document apparaît dans
Authorities > People