1. Pluginizing QUIC
2. The SeaHorn Verification Framework
3. Nicolas Rybowski. 2021a. Side-effects verification tool for PQUIC plugins. https://github.com/nrybowski/pquic-formal-model. (2021). Nicolas Rybowski. 2021a. Side-effects verification tool for PQUIC plugins. https://github.com/nrybowski/pquic-formal-model. (2021).
4. Nicolas Rybowski. 2021b. SPMS prototype implementation. https://github.com/nrybowski/SPMS. (2021). Nicolas Rybowski. 2021b. SPMS prototype implementation. https://github.com/nrybowski/SPMS. (2021).
5. xBGP