TY - RPRT TI - Finding SSH Strict Key Exchange Violations by State Learning AU - Fabian Bäumer AU - Marcel Maehren AU - Marcus Brinkmann AU - Jörg Schwenk PY - 2025 DO - 10.1145/3719027.3765208 UR - https://arxiv.org/abs/2509.10895 ID - 2509.10895 ER -