TY  - RPRT
TI  - SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols
AU  - Kevin Morio
AU  - Robert Künnemann
PY  - 2024
DO  - 10.1145/3658644.3690197
UR  - https://arxiv.org/abs/2409.02918
ID  - 2409.02918
ER  -