| A formally verified NAT A Zaostrovnykh, S Pirelli, L Pedrosa, K Argyraki, G Candea Proceedings of the conference of the acm special interest group on data …, 2017 | 73 | 2017 |
| Verifying software network functions with no verification expertise A Zaostrovnykh, S Pirelli, R Iyer, M Rizzo, L Pedrosa, K Argyraki, ... Proceedings of the 27th ACM Symposium on Operating Systems Principles, 275-290, 2019 | 63 | 2019 |
| Performance contracts for software network functions R Iyer, L Pedrosa, A Zaostrovnykh, S Pirelli, K Argyraki, G Candea 16th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2019 | 61 | 2019 |
| Automated synthesis of adversarial workloads for network functions L Pedrosa, R Iyer, A Zaostrovnykh, J Fietz, K Argyraki Proceedings of the 2018 Conference of the ACM Special Interest Group on Data …, 2018 | 55 | 2018 |
| A formally verified NAT stack S Pirelli, A Zaostrovnykh, G Candea Proceedings of the 2018 Afternoon Workshop on Kernel Bypassing Networks, 8-14, 2018 | 11 | 2018 |
| Verification of Software Network Functions with No Verification Expertise A Zaostrovnykh EPFL, 2020 | | 2020 |