@PhdThesis{Arquint2025,
  author = {L. Arquint},
  title  = {Modular Verification of Security Protocol Implementations},
  school = {ETH Zurich},
  year   = {2025},
  doi    = {10.3929/ethz-c-000791717}
}