TY  - RPRT
TI  - From Automata Learning to Model Checking: Formal Security Verification of Black-Box Protocols
AU  - Stefan Marksteiner
AU  - Mikael Sjödin
AU  - Marjan Sirjani
PY  - 2026
UR  - https://arxiv.org/abs/2509.22215
ID  - 2509.22215
ER  -