Quentin De Coninck, Fran ois Michel, Maxime Piraux, Florentin Rochet, Thomas Given-Wilson, Axel Legay, Olivier Pereira, and Olivier Bonaventure. 2019. Pluginizing quic. In Proceedings of the ACM Special Interest Group on Data Communication. 59-74.
Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli, and Jorge A Navas. 2015. The SeaHorn verification framework. In International Conference on Computer Aided Verification. Springer, 343-361.
Nicolas Rybowski. 2021. Side-effects verification tool for PQUIC plugins. http: //github.com/nrybowski/pquic-formal-model. (2021).
Nicolas Rybowski. 2021. SPMS prototype implementation. http://github.com/ nrybowski/SPMS. (2021).
Thomas Wirtgen, Quentin De Coninck, Randy Bush, Laurent Vanbever, and Olivier Bonaventure. 2020. xBGP: When You Can't Wait for the IETF and Vendors. In Proceedings of the 19th ACM Workshop on Hot Topics in Networks. 1-7.