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