Arseniy Zaostrovnykh

According to our database, Arseniy Zaostrovnykh authored at least 6 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Verification of Software Network Functions with No Verification Expertise.

Arseniy Zaostrovnykh

PhD thesis, 2020

2019

Verifying software network functions with no verification expertise.

Arseniy Zaostrovnykh, Solal Pirelli, Rishabh R. Iyer, Matteo Rizzo, Luis Pedrosa, Katerina J. Argyraki, George Candea

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

Performance Contracts for Software Network Functions.

Rishabh R. Iyer, Luis Pedrosa, Arseniy Zaostrovnykh, Solal Pirelli, Katerina J. Argyraki, George Candea

Proceedings of the 16th USENIX Symposium on Networked Systems Design and Implementation, 2019

2018

A formally verified NAT stack.

Solal Pirelli, Arseniy Zaostrovnykh, George Candea

Comput. Commun. Rev., 2018

Automated synthesis of adversarial workloads for network functions.

Luis Pedrosa, Rishabh R. Iyer, Arseniy Zaostrovnykh, Jonas Fietz, Katerina J. Argyraki

Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018

2017

A Formally Verified NAT.

Arseniy Zaostrovnykh, Solal Pirelli, Luis Pedrosa, Katerina J. Argyraki, George Candea

Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017