Guillaume Cluzel

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Formal Verification

Bug Localization

Top Venues

Publications

Kyriakos Georgiou, Guillaume Cluzel, Paul Butcher, Yannick Moy
Security-Hardening Software Libraries with Ada and SPARK - A TCP Stack Use Case. CoRR (2021)
Guillaume Cluzel, Kyriakos Georgiou, Yannick Moy, Clément Zeller
Layered Formal Verification of a TCP Stack. SecDev (2021)