Layered Formal Verification of a TCP Stack. - Guillaume Cluzel; Kyriakos Georgiou; Yannick Moy; Clément Zeller (SecDev, 2021)

Security-Hardening Software Libraries with Ada and SPARK - A TCP Stack Use Case. - Kyriakos Georgiou; Guillaume Cluzel; Paul Butcher; Yannick Moy (CoRR, 2021)